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 8 months ago
- A purely functional programming language with first class types☆60Updated 4 months ago
- A continuation-based backtracking logic programming monad☆91Updated 8 months ago
- an implementation of stuck macros☆144Updated last week
- Dynamic typing in Haskell☆191Updated 6 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆314Updated last year
- ☆137Updated 3 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 3 months ago
- A categorical programming language with effects☆282Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆265Updated 11 months ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Language Server for Idris2☆180Updated last month
- Static site generator built on Shake configured in Haskell☆215Updated 11 months ago
- ☆79Updated 6 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆159Updated 3 years ago
- The adventures of a Haskell compiler☆229Updated 2 months ago
- ☆234Updated 2 weeks ago
- 1ML prototype interpreter☆285Updated 5 years ago
- A less devious proof assistant☆225Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Beating unix `wc` in Haskell☆136Updated 3 years ago
- Haskell-based shell scripting language☆607Updated last month
- Bootstrapping ATS3☆224Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated last year
- Shen language kernel sources for porters☆378Updated 11 months ago
- Optics as an abstract interface☆384Updated this week
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆119Updated 7 years ago
- Standard library for linear types in Haskell.☆345Updated last month