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
- implementation deriving for idris2☆11Updated 4 years ago
- A portable idris2 implementation of TLS☆32Updated 10 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 3 weeks ago
- Haskell implementation of the KDL Document Language☆24Updated 2 weeks ago
- Package manager for Idris☆37Updated 3 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- A helpful AI assistant for Mercury engineers☆17Updated 2 months ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Demo for dependent types + runtime code generation☆70Updated 6 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 6 months ago
- A TOML parser for Idris 2☆17Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Command line interface library in Idris☆31Updated last year
- ☆22Updated 3 months ago
- A Haskell monad transformer library for data validation☆37Updated 2 years ago
- A formalization of System Fω in Agda☆19Updated 6 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- The Montreal Haskell Compiler☆24Updated this week
- Anders: Cubical Type Checker☆23Updated last year
- GRIN backend for Idris2☆33Updated 3 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Higher kinded polymorphism in a language with unboxed, statically sized datatypes.☆51Updated 7 months ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Updated 2 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 5 years ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Zippers for cofree types☆13Updated 3 years ago
- ☆44Updated 3 years ago
- Idris port of Haskell's sop-core library☆36Updated 2 weeks ago