smucclaw / dslLinks
Domain Specific Languages for Computational Law
☆74Updated 3 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☆11Updated 10 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 7 months ago
- A relational interpretation of Lojban☆33Updated 4 months ago
- ☆38Updated 5 years ago
- Dawn Phase 1 proto-language☆37Updated 4 years ago
- The Art of the Propagator. See also:☆174Updated last year
- ☆51Updated 2 weeks ago
- ☆137Updated 3 years ago
- A graphical interactive proof assistant designed for education☆166Updated 6 months ago
- An upcoming operating system built on Type-Theory☆43Updated 4 years ago
- Forge: A Tool and Language for Teaching Formal Methods☆75Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 weeks ago
- Standard library for the Formality language☆18Updated 5 years ago
- ☆35Updated last year
- Polynomial-time Meta-Interpretive Learning☆127Updated 3 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 3 years ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- ☆100Updated 3 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- All the Transient libraries☆40Updated last month
- Datalog + Egg = Good☆66Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A minimal proof checker.☆74Updated 8 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Kanren with databases☆43Updated 10 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆59Updated last year
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago