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
- Snakes game demo.☆16Updated 8 years ago
- ☆35Updated 11 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 8 years ago
- Haskell 98 contravariant functors☆73Updated 6 months ago
- Type-safe time units in Haskell☆49Updated 3 months ago
- ☆28Updated 6 years ago
- ☆40Updated 5 years ago
- ☆30Updated 7 years ago
- SC Mini is a "minimal" positive supercompiler☆47Updated 4 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Monad Transformers and Classes☆77Updated 5 years ago
- haskell memory☆48Updated last year
- GRIN backend for Idris☆51Updated 5 years ago
- Small example of reflex-dom with build scripts for Android and IOS☆13Updated 5 years ago
- A language based on homotopy type theory with an interval☆85Updated 10 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Simple Structured logger☆14Updated 2 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- yacctt: Yet Another Cartesian Cubical Type Theory☆76Updated 6 years ago
- Type-safe error handling☆64Updated last year
- Haskell optimisation tool based on supercompilation☆26Updated 8 years ago
- Yer another array library☆41Updated 6 years ago
- A library for doing generic programming in Agda☆31Updated 4 years ago
- A formalization of category theory in cubical Agda☆58Updated 4 years ago
- Category theory and algebra☆28Updated 8 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 7 months ago
- Monad morphisms☆50Updated 2 years ago
- Key-value storage LSM-style and whatever will grow out of it.☆10Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 5 months ago