cblp / python5
Python5
☆15Updated 5 years ago
Alternatives and similar repositories for python5:
Users that are interested in python5 are comparing it to the libraries listed below
- ☆28Updated 6 years ago
- Snakes game demo.☆16Updated 8 years ago
- ☆30Updated 6 years ago
- ☆33Updated 10 months ago
- ☆40Updated 5 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Small example of reflex-dom with build scripts for Android and IOS☆13Updated 5 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- The category theory by example book☆58Updated last year
- Type-safe time units in Haskell☆49Updated last month
- Simple Structured logger☆14Updated 2 years ago
- Telegram Lambdabot Bot☆11Updated 9 months ago
- A short scripts and programs☆12Updated 2 years ago
- Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming☆44Updated 4 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 7 years ago
- Servant based API and server for token based authorisation☆14Updated 5 years ago
- ☆67Updated 11 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Run cabal inside nix-shell☆14Updated 5 years ago
- Speculate laws about Haskell functions☆30Updated last month
- The greatest hits of https://gist.github.com/RyanGlScott☆11Updated 2 years ago
- haskell memory☆48Updated last year
- Efficient union and equivalence testing of sets.☆30Updated 6 years ago
- Haskell 98 contravariant functors☆73Updated 4 months ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 6 months ago
- A monad for managed values☆50Updated 2 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 3 weeks ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Invertible parsing for S-expressions☆34Updated 5 months ago