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
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- Algebraic effects in the Bluefin effect system☆13Updated 6 months ago
- ☆25Updated last week
- Ergonomic process launching with extreme flexibility and speed (compared to shh)☆24Updated 2 years ago
- A helpful AI assistant for Mercury engineers☆13Updated last month
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- Package manager for Idris☆35Updated 2 years ago
- Add early return to any do-expression☆46Updated 3 years ago
- Linear lens☆20Updated 9 months ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆40Updated last year
- A TOML parser for Idris 2☆15Updated 4 months ago
- ☆14Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- A haskell tutorial using CodeWorld☆17Updated 7 months ago
- Session types framework with support of protocol pipelining.☆15Updated last month
- Opinionated package manager for haskell (WIP)☆17Updated last year
- A cross-platform driver for Tauri in Haskell☆46Updated 4 months ago
- A portable idris2 implementation of TLS☆32Updated 3 weeks ago
- Fast higher-order effect handlers with evidence passing☆17Updated 10 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- 📺 The power of Haskell in your terminal!☆42Updated last month
- A simple set of io-uring bindings in Haskell☆28Updated 4 years ago
- Type-safe WebAssembly eDSL in Haskell☆21Updated last month
- Command line interface library in Idris☆30Updated 3 months ago
- ☆19Updated 6 months ago
- ☆17Updated last week
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 11 months ago