dls / house
Haskell Operating System
☆146Updated 15 years ago
Related projects: ⓘ
- The functional Haskell kernel☆129Updated 8 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- The adventures of a Haskell compiler☆208Updated last week
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated last week
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆143Updated 2 years ago
- Kaleidoscope Tutorial using llvm-hs☆81Updated 3 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- Quick C-- compiler (no longer maintained)☆148Updated 10 years ago
- Haskell implemented with combinators☆325Updated this week
- Frank compiler☆274Updated 4 months ago
- moved from https://sourceforge.net/p/min-caml/code/☆483Updated 11 months ago
- Smackage Package Manager for Standard ML☆121Updated 2 years ago
- The Twelf Programming Language☆105Updated last week
- Bootstrapping ATS3☆194Updated this week
- Agda interaction in vim☆130Updated 2 years ago
- Haskell bindings for LLVM☆501Updated 2 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆191Updated last month
- Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.☆339Updated 7 months ago
- 😎TT☆217Updated 11 months ago
- SML# compiler☆217Updated this week
- An interpreter of Hagino's Categorical Programming Language (CPL).☆116Updated 3 months ago
- Trying to write an understandable implementation of Haskell, in Haskell☆117Updated 3 years ago
- Standard ML Compiler and Toolkit☆274Updated this week
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆155Updated 2 years ago
- The Makam Metalanguage☆187Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆211Updated last year
- SML reference interpreter☆110Updated last year
- A compiler for functional programs on serialized data☆157Updated last month