lexi-lambda / lexi-lambda.github.io
☆29Updated 2 years ago
Related projects: ⓘ
- Source code for haskle.net☆29Updated last year
- ☆40Updated 10 months ago
- The power of Haskell in your terminal!☆41Updated last month
- The LC3 virtual machine☆22Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated 11 months ago
- A style guide for Haskell code.☆12Updated 4 years ago
- seamless management of source dependencies with nix☆37Updated 3 months ago
- The place for submitting new articles to the Serokell blog.☆15Updated 6 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆57Updated 4 years ago
- EXPERIMENTAL: Idris2 plugin for neovim in Idris2☆10Updated 2 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆24Updated 4 years ago
- An implementation of the Lox language in Racket.☆28Updated 10 months ago
- Matrix.org haskell client library☆24Updated 7 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 9 months ago
- 🎭 Actor library for Haskell☆30Updated last year
- todo and unimplemented, robustly implemented☆32Updated last week
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆18Updated 8 months ago
- Prototypes: Object Orientation, Functionally☆41Updated last week
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆22Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆14Updated last month
- A haskell tutorial using CodeWorld☆15Updated 5 months ago
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Apple array system☆53Updated this week
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆31Updated last year