axellang / axelLinks
Haskell + Lisp
☆209Updated last year
Alternatives and similar repositories for axel
Users that are interested in axel are comparing it to the libraries listed below
Sorting:
- Haskell in S-expression☆176Updated 9 months ago
- A continuation-based backtracking logic programming monad☆91Updated 9 months ago
- ☆138Updated 3 years ago
- Dynamic typing in Haskell☆191Updated 6 years ago
- an implementation of stuck macros☆145Updated 2 weeks ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 4 months ago
- ☆79Updated 6 years ago
- An implementation of Pie in Haskell☆209Updated 5 years ago
- A categorical programming language with effects☆283Updated 2 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆265Updated 11 months ago
- A purely functional programming language with first class types☆61Updated 5 months ago
- A less devious proof assistant☆225Updated 2 years ago
- Static site generator built on Shake configured in Haskell☆215Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆160Updated 3 years ago
- ☆395Updated last year
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆146Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Standard library for linear types in Haskell.☆348Updated 2 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- Beating unix `wc` in Haskell☆137Updated 4 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Updated 3 weeks ago
- Language Server for Idris2☆181Updated this week
- The Makam Metalanguage☆199Updated 2 years ago
- Haskell-based shell scripting language☆608Updated 2 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆371Updated 2 months ago
- My slides and compilation of resources.☆154Updated 11 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- The adventures of a Haskell compiler☆231Updated 3 months ago