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:
- An implementation of derivative parsing in the parser combinator framework☆59Updated 14 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated last year
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- ☆13Updated 7 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Java Code Generator for Idris☆71Updated 9 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- Yet Another Software Language Repository☆19Updated 3 years ago
- A semantic highlighter for Idris code☆14Updated 7 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Exploratory new work on a Haskell Lisp☆16Updated 8 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- An embedding of miniKanren in Shen.☆25Updated 10 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- generative programming & verification☆33Updated last week
- ☆15Updated 9 years ago
- ☆21Updated 8 years ago
- ☆12Updated 10 years ago
- Resumable exceptions and delimited continuations for JVM☆43Updated last month
- Curses bindings package for Idris☆13Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Editor for language composition☆58Updated 2 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2☆26Updated 8 years ago
- A playground for type theory implementations in Racket☆20Updated 9 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- Tool for detecting bad style in Standard ML programs☆17Updated 6 years ago
- Designing Programs with Class☆28Updated 7 years ago