boomerang-lang / boomerang
The Boomerang Bidirectional Programming Language
☆75Updated last year
Alternatives and similar repositories for boomerang:
Users that are interested in boomerang are comparing it to the libraries listed below
- Datalog implemented in minikanren☆24Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Kanren with databases☆43Updated 5 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆28Updated 7 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Miller/pattern unification in Agda☆63Updated 10 years ago
- A microKanren framework for implementing constraints.☆19Updated 6 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- SML Parser Combinator Library☆27Updated 8 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 10 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- staged relational interpreters: running with holes, faster☆126Updated 2 months ago
- Prototypes: Object Orientation, Functionally☆42Updated 4 months ago
- ☆16Updated 3 years ago
- A property-based testing library for Racket.☆31Updated 8 months ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated last week
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- microkanren in sml☆26Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆47Updated 10 years ago
- MetaML and MetaOCaml bibliography☆86Updated last month
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- ☆62Updated 3 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆41Updated 5 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆39Updated 6 years ago
- ☆59Updated 5 years ago
- The MLtonLibrary repository☆34Updated last year
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago