axellang / axelLinks
Haskell + Lisp
☆213Updated 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 11 months ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆271Updated 3 weeks ago
- A full implementation of the Scheme programming language for the Haskell Platform.☆315Updated last year
- an implementation of stuck macros☆146Updated 3 weeks ago
- A continuation-based backtracking logic programming monad☆92Updated 11 months ago
- ☆137Updated 3 years ago
- A less devious proof assistant☆226Updated 2 years ago
- A purely functional programming language with first class types☆61Updated 7 months ago
- An implementation of Pie in Haskell☆211Updated 5 years ago
- Dynamic typing in Haskell☆191Updated 6 years ago
- A categorical programming language with effects☆287Updated 2 years ago
- ☆79Updated 6 years ago
- Static site generator built on Shake configured in Haskell☆216Updated 2 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- Language Server for Idris2☆182Updated last month
- Relational programming in Haskell. Mostly developed on twitch.☆266Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆162Updated 3 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Updated last month
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆148Updated last week
- The Makam Metalanguage☆199Updated 2 years ago
- A language experiment -- irc.freenode.net ##coda☆163Updated last year
- My slides and compilation of resources.☆155Updated last year
- 1ML prototype interpreter☆288Updated 5 years ago
- ☆394Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- Beating unix `wc` in Haskell☆137Updated 4 years ago
- The adventures of a Haskell compiler☆232Updated this week
- Haskell-based shell scripting language☆611Updated last week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆384Updated 2 years ago
- Standard library for linear types in Haskell.☆350Updated this week