cblp / python5Links
Python5
☆15Updated 6 years ago
Alternatives and similar repositories for python5
Users that are interested in python5 are comparing it to the libraries listed below
Sorting:
- Snakes game demo.☆15Updated 8 years ago
- ☆29Updated 7 years ago
- ☆28Updated 7 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 5 years ago
- ☆38Updated 2 weeks ago
- Compact regions library for Haskell☆82Updated last year
- ⭕️ N2O: Haskell Application Server☆46Updated 3 years ago
- First-class type families☆89Updated 3 weeks ago
- Compiler for the Rum language☆26Updated 6 years ago
- Github project where I track everything related to my thesis☆28Updated 9 years ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- FP Complete's Haskell Homepage☆14Updated 5 years ago
- Telegram Lambdabot Bot☆11Updated last year
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- Haskell 98 contravariant functors☆73Updated last year
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- ☆41Updated 5 years ago
- A short scripts and programs☆11Updated 2 years ago
- Monad Transformers and Classes☆76Updated 6 years ago
- Monadic capabilities with late binding☆28Updated 2 years ago
- Type-safe time units in Haskell☆50Updated 9 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- ☆79Updated last year
- Benchmarks for dictionary data structures: hash tables, maps, tries, etc.☆98Updated 3 years ago
- haskell memory☆48Updated 2 years ago
- 🧊 Інститут формальної математики☆35Updated 4 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last week
- Type-safe error handling☆64Updated 2 years ago
- compile your own functional language☆36Updated 6 years ago
- Library to access the GPIO pins on a Raspberry Pi from Haskell.☆44Updated last year