toptobes / typefuck-haskellLinks
Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)
☆17Updated last year
Alternatives and similar repositories for typefuck-haskell
Users that are interested in typefuck-haskell are comparing it to the libraries listed below
Sorting:
- ☆25Updated last year
- A helpful AI assistant for Mercury engineers☆17Updated 2 months ago
- A portable idris2 implementation of TLS☆32Updated 10 months ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- A TOML parser for Idris 2☆17Updated last year
- Command line interface library in Idris☆31Updated last year
- ☆12Updated 5 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Haskell implementation of the KDL Document Language☆25Updated last month
- ☆22Updated 4 months ago
- Package manager for Idris☆37Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last week
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 7 months ago
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- A toy dependent typed language.☆32Updated 3 weeks ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- implementation deriving for idris2☆12Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- ☆36Updated 3 months ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- ☆41Updated last year
- Demo for dependent types + runtime code generation☆71Updated 7 months ago
- ☆21Updated 4 months ago
- The Montreal Haskell Compiler☆25Updated this week
- Single Page Web Applications in Idris☆25Updated 11 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago