metaborg / spoofax-intellijLinks
☆11Updated last month
Alternatives and similar repositories for spoofax-intellij
Users that are interested in spoofax-intellij are comparing it to the libraries listed below
Sorting:
- DEPRECATED☆12Updated 9 years ago
- Formalism and proofs for esverify☆19Updated 7 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- cargo +nightly build☆34Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- ☆35Updated 5 years ago
- SML The Living Language☆11Updated 11 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago
- The Alms Programming Language☆44Updated 6 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A parsing combinator library.☆10Updated 8 years ago
- Frege Interpreter☆15Updated 5 years ago
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- MLpolyR☆7Updated 8 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- SVG Combinators for Haskell☆23Updated 7 years ago
- A pretty printing library☆25Updated 6 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A simple implementation of linear type theory☆38Updated 8 years ago