sirlensalot / fadno-braids
Braid representations in Haskell
☆21Updated 8 months ago
Related projects: ⓘ
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Provides a type-safe way of working with permutations in Idris☆33Updated 2 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- TODO☆10Updated 8 years ago
- ☆23Updated 9 years ago
- A subfield of the complex numbers for exact calculation.☆19Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 6 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Morte IDE☆28Updated 8 months ago
- Type theory in type theory☆16Updated 12 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆14Updated 8 years ago
- second-order abstract syntax☆31Updated 3 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Experiments in implementing functional data structures in Idris☆14Updated 5 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Various interesting topics I'm looking at☆13Updated 14 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆26Updated 5 years ago
- LambdaConf 2017 Fusion Presentation☆10Updated 7 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- ☆23Updated 7 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Invertible parsing for S-expressions☆33Updated last week
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated last month