fcf-containers

fcf-containers add tools that can be used with first-class-families

BSD-3-CLAUSE License

Downloads
2.1K
Stars
3
Committers
2
View Code on GitHub
Ecosystems: Haskell

Commit Statistics

Past Year

All Time

Total Commits
61
Total Committers
4
Avg. Commits Per Committer
15.25
Bot Commits
0

Issue Statistics

Past Year

All Time

Total Pull Requests
0
8
Merged Pull Requests
0
7
Total Issues
0
9
Time to Close Issues
N/A
over 1 year
Package Rankings
Top 31.57% on Hackage.haskell.org
Badges
Extracted from project README
Hackage Build Status
Related Projects
articles

Miscellaneous articles. The readme is the table of contents.

07 Feb 2013 1,239
HaskSymb

An Experiment in Haskell Symbolic Algebra

07 May 2012 72
LtuPatternFactory

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

05 Oct 2018 987
cobalt

COnstraint-BAsed Little Typechecker

15 Aug 2014 9
stepeval

A program for evaluating a Haskell expression step-by-step

04 Feb 2010 50
Caramel

A modern syntax for the λ-calculus.

27 Sep 2015 409
unbeliever

Opinionated Haskell Interoperability

12 Aug 2018 33
critbit

A Haskell implementation of crit-bit trees.

27 Apr 2013 137
Expresso

A simple expressions language with polymorphic extensible row types.

16 Aug 2012 301
first-class-families

First-class type families

09 Jul 2018 86
coda

A language experiment -- irc.freenode.net ##coda

20 Aug 2017 159
fp-course

Functional Programming Course

30 Jun 2011 1,027
hsc2hs

Pre-processor for .hsc files

21 Oct 2017 38
holmes

A reference library for constraint-solving with propagators and CDCL.

24 Nov 2019 302
in-other-words

A higher-order effect system where the sky's the limit

13 Jun 2020 89