pluto-build / plutoLinks
☆21Updated 2 years ago
Alternatives and similar repositories for pluto
Users that are interested in pluto are comparing it to the libraries listed below
Sorting:
- ☆13Updated 7 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 8 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Editor for language composition☆58Updated 2 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- ☆71Updated 5 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 3 months ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- ☆15Updated 9 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last week
- a minimal implementation of incremental computation in Scheme☆35Updated 8 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Tool for detecting bad style in Standard ML programs☆17Updated 6 years ago
- RRB-Trees: Efficient Immutable Vectors☆52Updated 12 years ago
- Frege REPL☆78Updated 6 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated 2 years ago
- Yet Another Software Language Repository☆19Updated 3 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- JVM code generation☆32Updated 6 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last month
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- ☆92Updated 9 years ago