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:
- 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
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Formal semantics of LLVM IR in K☆44Updated 10 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- A programming language☆77Updated 12 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A proof assistant.☆12Updated 9 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- The LVish Haskell library☆80Updated 2 years ago
- An AST Library☆49Updated last year
- (Nominal) Adapton in OCaml☆54Updated 9 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- A function-oriented language with effect inference☆18Updated 11 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 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
- A constant-memory approximation of set membership☆25Updated 5 months ago
- The Spire Programming Language☆59Updated 10 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 4 years ago
- An implementation of structural subtyping of records and functions☆13Updated 6 years ago
- Accepted papers for POPL 2015☆66Updated 9 years ago