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
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 2 weeks ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- SML The Living Language☆11Updated 11 years ago
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Pragmatic functional programming language☆10Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- Json ast / parser / printer for unison☆10Updated 5 years ago
- Working through the Rust book☆13Updated 4 years ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆19Updated 2 years ago
- ☆19Updated 6 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 5 years ago
- cargo +nightly build☆34Updated 5 years ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 6 years ago
- Frege Interpreter☆15Updated 4 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- a capability-based system☆40Updated 7 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 4 months ago
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- ☆23Updated 13 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 5 years ago
- A transactional programming language.☆34Updated 6 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago