metaborg / spoofax-intellij
☆11Updated last month
Related projects: ⓘ
- DEPRECATED☆12Updated 8 years ago
- RRB-Trees: Efficient Immutable Vectors☆49Updated 11 years ago
- SML The Living Language☆11Updated 10 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆18Updated last year
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Frege Interpreter☆14Updated 4 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- Memory Management ToolKit☆30Updated this week
- cargo +nightly build☆34Updated 5 years ago
- The eclipse plugin for frege, codename fregIDE☆30Updated 5 years ago
- Abstract binding tree code generator☆36Updated 7 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆30Updated 10 years ago
- A partial implementation of Protocol Buffers in Idris☆29Updated 7 years ago
- The language of the future!☆71Updated 8 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆32Updated 3 weeks ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- ☆34Updated 5 years ago
- ☆10Updated this week
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 4 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Tools for MIL, a Monadic Intermediate Language☆21Updated this week
- Haskell bindings to binaryen.☆14Updated 3 years ago
- Effect Handlers for Java / the JVM☆30Updated 4 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- An experimental language server for SomewhatML☆23Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 7 months ago
- Working through the Rust book☆13Updated 4 years ago
- SVG Combinators for Haskell☆23Updated 7 years ago