uwplse / Cassius
A CSS specification and reasoning engine
☆94Updated 2 years ago
Alternatives and similar repositories for Cassius:
Users that are interested in Cassius are comparing it to the libraries listed below
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆129Updated last week
- purple: compiling a reflective language☆32Updated 5 months ago
- Miller/pattern unification in Agda☆64Updated 11 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Kanren with databases☆43Updated 8 months ago
- Logic for story telling!☆34Updated 7 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- ☆59Updated 5 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A pure Haskell implementation of Datalog☆105Updated 4 years ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- Real number computation software☆123Updated 2 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- Notes and handouts from OPLSS 2018☆54Updated 6 years ago
- MetaML and MetaOCaml bibliography☆89Updated 4 months ago
- Compilation and Verification of Data-Centric Languages☆57Updated 8 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆31Updated 3 weeks ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- Collapsing Towers of Interpreters☆90Updated last year
- surgical precision JIT compilers☆121Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- ☆34Updated 11 months ago