smucclaw / dslLinks
Domain Specific Languages for Computational Law
☆76Updated 4 months ago
Alternatives and similar repositories for dsl
Users that are interested in dsl are comparing it to the libraries listed below
Sorting:
- A miniature version of the l4 language☆12Updated 11 months ago
- ☆35Updated last year
- Standard library for the Formality language☆18Updated 5 years ago
- ☆137Updated 3 years ago
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Kanren with databases☆43Updated 10 months ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- ☆53Updated last month
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated this week
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- All the Transient libraries☆40Updated 2 months ago
- The Heterogeneous Tool Set☆58Updated 4 months ago
- Prototypes: Object Orientation, Functionally☆46Updated last month
- Polynomial-time Meta-Interpretive Learning☆128Updated 4 months ago
- ☆100Updated 3 years ago
- A relational interpretation of Lojban☆33Updated this week
- language verification, construction, and analysis☆20Updated 3 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last month
- ☆128Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago