mrd / terrier
ARM-based operating system - fork of http://github.com/mrd/puppy
☆15Updated 9 years ago
Alternatives and similar repositories for terrier:
Users that are interested in terrier are comparing it to the libraries listed below
- generate ATS interface from C code☆20Updated 8 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- 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
- Fast time library☆21Updated 2 months ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last month
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types☆9Updated 7 years ago
- Attribute Grammars on Graphs☆10Updated 8 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- secret project☆17Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- ☆21Updated 9 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Write type-safe shell scripts in Haskell☆14Updated 5 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- ☆18Updated 7 years ago
- Build tool for ATS.☆41Updated 2 years ago
- An epoll-based HTTP library for ATS2☆14Updated 2 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- Safe and minimal Haskell Prelude☆10Updated 4 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Haskell suite library for name resolution☆52Updated last year
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last month