githwxi / ATS-Postiats-test
This repository is primarily for testing ATS2 on various platforms
☆9Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for ATS-Postiats-test
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆47Updated 4 years ago
- For supporting template-based programming☆20Updated 4 years ago
- The Disco Discus Compiler☆174Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 10 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Collection of ATS goodness☆33Updated 4 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- ☆20Updated 9 years ago
- being the beginnings of at least zero typecheckers☆31Updated 7 years ago
- ☆13Updated 3 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆37Updated 11 years ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- A compiler for Coq☆26Updated 11 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆142Updated 3 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- A plugin for solving numeric constraints in GHC's type-checker☆50Updated 3 years ago
- Tool for detecting bad style in Standard ML programs☆16Updated 5 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆50Updated 7 years ago
- Haskell FFI to libclang☆58Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago