axellang / axelLinks
Haskell + Lisp
☆212Updated 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 10 months ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆270Updated last month
- Dynamic typing in Haskell☆191Updated 6 years ago
- an implementation of stuck macros☆145Updated last week
- A continuation-based backtracking logic programming monad☆92Updated 10 months ago
- ☆138Updated 3 years ago
- An implementation of Pie in Haskell☆210Updated 5 years ago
- ☆79Updated 6 years ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- A categorical programming language with effects☆284Updated 2 years ago
- A purely functional programming language with first class types☆61Updated 6 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆146Updated last month
- Language Server for Idris2☆183Updated 3 weeks ago
- A less devious proof assistant☆226Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆161Updated 3 years ago
- Standard library for linear types in Haskell.☆350Updated 3 months ago
- Optics as an abstract interface☆386Updated 3 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Haskell-based shell scripting language☆610Updated this week
- Beating unix `wc` in Haskell☆137Updated 4 years ago
- A Haskell blog☆149Updated 2 months ago
- The adventures of a Haskell compiler☆232Updated 4 months ago
- ☆396Updated last year
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆120Updated 7 years ago
- Static site generator built on Shake configured in Haskell☆215Updated last week
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Updated 2 weeks ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- ☆234Updated last month