toptobes / typefuck-haskell
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
☆17Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for typefuck-haskell
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- ☆26Updated this week
- todo and unimplemented, robustly implemented☆33Updated last month
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Small async library for idris2, inspired by purescript-aff☆8Updated 2 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- A helpful AI assistant for Mercury engineers☆13Updated last month
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 4 months ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- Linear lens☆19Updated 8 months ago
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- Command line interface library in Idris☆30Updated 3 months ago
- 🎭 Actor library for Haskell☆30Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆17Updated 3 months ago
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- ☆17Updated last week
- ☆16Updated 7 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 10 months ago
- ☆17Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆22Updated last month
- ☆40Updated last year
- ☆13Updated last year
- First Class Record Fields in Haskell☆17Updated 4 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- Source code for haskle.net☆30Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- GRIN backend for Idris2☆33Updated 2 years ago