uwplse / Cassius
A CSS specification and reasoning engine
☆92Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Cassius
- Datalog implemented in minikanren☆24Updated 7 years ago
- Kanren with databases☆43Updated 3 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Abstracting Definitional Interpreters☆67Updated 6 years ago
- ☆15Updated 3 years ago
- A synthesis-enabled solver for relational logic☆27Updated 6 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆101Updated 8 months ago
- staged relational interpreters: running with holes, faster☆125Updated last week
- Logic for story telling!☆32Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- surgical precision JIT compilers☆120Updated 7 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- purple: compiling a reflective language☆29Updated last month
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- Datalog + Egg = Good☆65Updated last year
- Interpreter for the reversible functional language rFun☆35Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 8 months ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- ☆135Updated 2 years ago
- Semantics for ES5☆81Updated 9 years ago
- a minimal implementation of incremental computation in Scheme☆35Updated 7 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 11 years ago