xlq / aos
Applied operating system - an operating system kernel written in the ATS programming language.
☆44Updated 12 years ago
Alternatives and similar repositories for aos:
Users that are interested in aos are comparing it to the libraries listed below
- A static analysis tool for C.☆26Updated 5 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆48Updated 4 years ago
- generate ATS interface from C code☆20Updated 8 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 10 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Updated 8 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Updated 9 years ago
- Idris, but it's C☆24Updated 6 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- ☆22Updated 8 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- A Self-Interpreter for F-omega☆16Updated 9 years ago
- Generic unification-based type inference library☆25Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- A compiler for Coq☆26Updated 11 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- For supporting template-based programming☆21Updated 4 years ago
- Build tool for ATS.☆41Updated 2 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 4 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- MLton for scalable multicore architectures☆57Updated 10 years ago