microsoft / staticstagingLinks
static staging compiler
☆26Updated 8 years ago
Alternatives and similar repositories for staticstaging
Users that are interested in staticstaging are comparing it to the libraries listed below
Sorting:
- Oblivious RAM for Scala☆19Updated 4 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated last month
- An efficient, lazy suffix tree implementation☆13Updated 4 years ago
- A function-oriented language with effect inference☆18Updated 11 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- The dependently & gradually typed Sage programming language☆9Updated 11 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Formal semantics of LLVM IR in K☆45Updated 10 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- 1ML prototype interpreter☆20Updated 4 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- A programming language☆77Updated 12 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- A textual language for binary data.☆37Updated 3 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- ☆73Updated 11 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Updated 3 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A statically typing programming language implemented in Haskell.☆6Updated 8 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- SML The Living Language☆11Updated 11 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 7 years ago
- LVC verified compiler☆57Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago