tathougies / hos
The functional Haskell kernel
☆129Updated 8 years ago
Related projects: ⓘ
- Haskell Operating System☆146Updated 15 years ago
- The LLVM LHC Haskell Optimization System☆198Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆115Updated 3 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆70Updated 4 years ago
- The adventures of a Haskell compiler☆208Updated last week
- The Twelf Programming Language☆105Updated last week
- Trying to write an understandable implementation of Haskell, in Haskell☆117Updated 3 years ago
- Quick C-- compiler (no longer maintained)☆148Updated 10 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆143Updated 2 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆353Updated last week
- A compiler for functional programs on serialized data☆157Updated last month
- Bootstrapping ATS3☆194Updated this week
- The Makam Metalanguage☆187Updated last year
- Example implementation of Algorithm W for Hindley-Milner type inference☆77Updated 2 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆155Updated 2 years ago
- Haskell implemented with combinators☆325Updated this week
- Dependently Typed Lambda Calculus in Haskell☆111Updated 3 years ago
- Kaleidoscope Tutorial using llvm-hs☆81Updated 3 years ago
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- Spartan type theory☆250Updated 3 months ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆191Updated last month
- My slides and compilation of resources.☆146Updated 3 weeks ago
- ☆136Updated 3 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- SML reference interpreter☆110Updated last year
- an implementation of stuck macros☆130Updated 3 weeks ago
- SKI combinators☆50Updated 7 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆64Updated 7 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆86Updated 6 months ago
- Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong☆136Updated 4 years ago