justinethier / husk-schemeLinks
A full implementation of the Scheme programming language for the Haskell Platform.
☆312Updated last year
Alternatives and similar repositories for husk-scheme
Users that are interested in husk-scheme are comparing it to the libraries listed below
Sorting:
- A Haskell implementation of the Shen programming language.☆169Updated 7 years ago
- nanopass compiler framework for Racket☆190Updated last year
- Haskell + Lisp☆210Updated last year
- The home of the Glamorous Glambda interpreter☆224Updated 2 months 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 2 months ago
- Collection of Idris tests and demonstration programs☆192Updated 7 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆363Updated 4 years ago
- Haskell-based shell scripting language☆605Updated 2 weeks ago
- Shen language kernel sources for porters☆376Updated 10 months ago
- Runtime Haskell interpreter☆268Updated 3 months ago
- Structured editing minor mode for Haskell in Emacs☆545Updated 6 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆163Updated 8 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated 2 years ago
- Haskell bindings to FLTK GUI toolkit.☆191Updated 3 years ago
- ☆391Updated last year
- Haskell in S-expression☆176Updated 7 months ago
- A less devious proof assistant☆224Updated 2 years ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- Canonical miniKanren implementation☆358Updated 7 years ago
- Repository for collaborative Haskell documentation☆207Updated 3 years ago
- Fake dependent types in Haskell using singletons☆290Updated 2 months ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆180Updated 7 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆323Updated 4 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆231Updated last year
- Malfunctional Programming☆348Updated 7 months ago
- ☆170Updated 7 years ago
- The Monad Transformer Library☆381Updated last month