rhyme-lang / rhymeLinks
Rhyme is an Expressive Data-Centric Query Language
☆30Updated last week
Alternatives and similar repositories for rhyme
Users that are interested in rhyme are comparing it to the libraries listed below
Sorting:
- ☆55Updated 4 months ago
- Staged Abstract Interpreters☆68Updated 2 years ago
- ☆53Updated 2 weeks ago
- Educational Proof Assistant for Type Theory☆75Updated last year
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 6 months ago
- Benchmark repository of polyglot effect handler examples☆27Updated 3 weeks ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Synthesis of Heap-Manipulating Programs from Separation Logic☆128Updated 2 years ago
- The Next Generation of Compositional Programming☆53Updated 2 weeks ago
- LVC verified compiler☆57Updated 6 years ago
- Alternative algorithm for algebraic subtyping.☆170Updated last month
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated last year
- EGraphs in OCaml☆73Updated last year
- ☆37Updated last month
- A graduate seminar on SMT solving and solver-aided systems☆27Updated 3 years ago
- A mechanisation of Wasm in Coq(Rocq)☆108Updated 3 weeks ago
- Proof assistant based on first-order logic and set theory☆62Updated last week
- Slog 1.0☆43Updated last year
- Definition of the Viper intermediate verification language.☆88Updated last week
- generative programming & verification☆34Updated 2 months ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- The Shine compiler for the RISE language☆84Updated last month
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆28Updated 3 years ago
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆25Updated 2 years ago
- Gallina to Bedrock2 compilation toolkit☆59Updated last week
- Bolts: Stainless Verified Scala Examples☆26Updated this week
- an implementation of Observational Type Theory (OTT) and more☆27Updated 2 years ago