algebra-checkers

checkers for algebra driven design

BSD-3-CLAUSE License

Downloads
394
Stars
34
Committers
1
View Code on GitHub
Ecosystems: Haskell

Commit Statistics

Past Year

All Time

Total Commits
103
Total Committers
1
Avg. Commits Per Committer
103.0
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
1
Merged Pull Requests
0
1
Total Issues
0
20
Time to Close Issues
N/A
6 days
Package Rankings
Top 36.38% on Hackage.haskell.org
Badges
Extracted from project README
Build Status
Related Projects
LtuPatternFactory

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

05 Oct 2018 987
ersatz

A monad for interfacing with external SAT solvers

14 Jun 2010 63
free-est

06 Mar 2017 5
articles

Miscellaneous articles. The readme is the table of contents.

07 Feb 2013 1,239
type-sets

type level sets

04 Aug 2019 67
th-cas

Compile time CAS(Computer Algebra System) for Haskell

10 Apr 2015 17
HaskSymb

An Experiment in Haskell Symbolic Algebra

07 May 2012 69
cobalt

COnstraint-BAsed Little Typechecker

15 Aug 2014 9
semigroupoids

Provides a wide array of (semi)groupoids and operations for working with them. A Semigroupoid is...

30 Jan 2011 75
Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

31 Dec 2016 62
fp-course

Functional Programming Course

30 Jun 2011 1,027
alga

Algebraic graphs

05 Dec 2016 716
algebra-driven-design

Source material for Algebra-Driven Design

24 Jul 2020 135
sequoia

classical sequent calculus, embedded in Haskell

18 May 2021 19
jace

just another compiler experiment

04 Jan 2017 14