pluto-build / plutoLinks
☆22Updated 3 years ago
Alternatives and similar repositories for pluto
Users that are interested in pluto are comparing it to the libraries listed below
Sorting:
- An implementation of derivative parsing in the parser combinator framework☆59Updated 15 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- ☆13Updated 8 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆19Updated 5 years ago
- Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations☆55Updated 6 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Tool for detecting bad style in Standard ML programs☆17Updated 6 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 8 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated 2 years ago
- Editor for language composition☆58Updated 3 years ago
- JVM code generation☆32Updated 7 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 8 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆123Updated 4 years ago
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 9 years ago
- Experimental Malfunction backend for Idris☆82Updated 7 years ago
- Obsidian Language Repository☆41Updated 7 years ago
- An idris backend compiling to chez scheme☆48Updated 8 years ago
- ☆15Updated 9 years ago
- ☆71Updated 5 years ago
- Resumable exceptions and delimited continuations for JVM☆44Updated 9 months ago
- RRB-Trees: Efficient Immutable Vectors☆52Updated 13 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- ☆92Updated 10 years ago
- purple: compiling a reflective language☆33Updated last year
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago