mrd / terrier
ARM-based operating system - fork of http://github.com/mrd/puppy
☆15Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for terrier
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- Generic unification-based type inference library☆25Updated 9 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 10 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- ☆20Updated 9 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- Raft distributed consensus over HTTP☆7Updated 4 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- Modular Reifiable Matching, A List-of-Functors Approach to Two-Level Types☆9Updated 7 years ago
- Tool to convert literate code between styles or to code.☆11Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- Implementation of the cufp.org website.☆11Updated 7 years ago
- Fast time library☆21Updated 3 weeks ago
- An epoll-based HTTP library for ATS2☆14Updated last year
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- Accepted papers for ICFP 2014☆120Updated 8 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- Fixed length vector for haskell☆21Updated this week
- Heyting Algebras in Haskell☆14Updated last year
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- Efficient union and equivalence testing of sets.☆30Updated 5 years ago
- Operation Vanguard: fixing a number of Haskell packages at once☆11Updated 5 years ago
- secret project☆17Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Build tool for ATS.☆41Updated 2 years ago