justinethier / husk-scheme
A full implementation of the Scheme programming language for the Haskell Platform.
☆309Updated last year
Alternatives and similar repositories for husk-scheme:
Users that are interested in husk-scheme are comparing it to the libraries listed below
- A Haskell implementation of the Shen programming language.☆167Updated 7 years ago
- Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆269Updated 9 months ago
- Haskell + Lisp☆208Updated 10 months ago
- Shen language kernel sources for porters☆372Updated 8 months ago
- nanopass compiler framework for Racket☆189Updated last year
- A less devious proof assistant☆224Updated 2 years ago
- A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)☆360Updated 3 years ago
- An implementation of Pie in Haskell☆205Updated 5 years ago
- Typed Racket☆535Updated this week
- Canonical miniKanren implementation☆355Updated 7 years ago
- A bare-bones calculus-of-constructions☆377Updated 2 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago
- My solutions to the popular Haskell tutorial☆76Updated 13 years ago
- The home of the Glamorous Glambda interpreter☆224Updated 3 weeks ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆714Updated 3 years ago
- Haskell-based shell scripting language☆589Updated 3 weeks ago
- ☆426Updated last year
- Runtime Haskell interpreter☆268Updated last month
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated last year
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆162Updated 8 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 12 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆198Updated 8 months ago
- Haskell bindings to FLTK GUI toolkit.☆191Updated 3 years ago
- Software Foundations in Idris☆454Updated 5 years ago
- Malfunctional Programming☆346Updated 5 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- Parser combinators for Idris☆242Updated 6 years ago
- A collection of resources for learning type theory.☆101Updated 8 years ago
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆344Updated last year