microsoft / staticstaging
static staging compiler
☆26Updated 7 years ago
Related projects: ⓘ
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- A function-oriented language with effect inference☆19Updated 10 years ago
- A programming language☆76Updated 11 years ago
- A simple implementation of the algebra of pictures in Haskell outlined in Peter Henderson's "Functional Geometry".☆26Updated 7 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- ☆33Updated this week
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆16Updated last year
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated last year
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- Proof that Haskell can look and act like an imperative language.☆73Updated 12 years ago
- ☆17Updated this week
- ☆33Updated 9 years ago
- ☆55Updated 7 years ago
- The dependently & gradually typed Sage programming language☆9Updated 10 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- A step-by-step MicroKanren evaluator☆29Updated 7 years ago
- JVM implementation in Haskell☆43Updated last week
- The LVish Haskell library☆81Updated last year
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 11 years ago
- Functional Lenses in C++☆21Updated 13 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆21Updated 5 years ago