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:
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- ☆13Updated 7 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Tool for detecting bad style in Standard ML programs☆17Updated 6 years ago
- ☆71Updated 5 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Updated 7 years ago
- Editor for language composition☆57Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Port of the Shen programming language to the Graal runtime☆26Updated 7 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated last month
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 5 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- The LVish Haskell library☆80Updated 2 years ago
- ☆60Updated 6 years ago
- Yet Another Software Language Repository☆19Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Updated 5 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆122Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- ☆60Updated 5 years ago
- The Ntha Programming Language☆91Updated 8 years ago
- generative programming & verification☆33Updated last month
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 4 months ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 9 years ago