smucclaw / dsl
Domain Specific Languages for Computational Law
☆71Updated last month
Alternatives and similar repositories for dsl:
Users that are interested in dsl are comparing it to the libraries listed below
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 4 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 5 months ago
- The Brown Benchmark for Table Types (B2T2)☆63Updated 9 months ago
- ☆34Updated 11 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Kanren with databases☆43Updated 7 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- A miniature version of the l4 language☆10Updated 8 months ago
- A relational interpretation of Lojban☆33Updated last month
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- Standard library for the Formality language☆18Updated 4 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- rslt, take five-ish☆150Updated 3 years ago
- The Art of the Propagator. See also:☆172Updated 11 months ago
- ☆136Updated 2 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- The Heterogeneous Tool Set☆58Updated last month
- ☆46Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated last week
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Datalog + Egg = Good☆66Updated last year
- Grammatical Framework core: compiler, shell & runtimes☆139Updated last week
- A compiler and run-time system to compile and run Curry programs as Go programs☆24Updated 4 months ago
- ☆38Updated 5 years ago
- A graphical interactive proof assistant designed for education☆166Updated 4 months ago
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆105Updated last year
- Apple array system☆66Updated this week