rhyme-lang / rhymeLinks
Rhyme is an Expressive Data-Centric Query Language
☆30Updated last month
Alternatives and similar repositories for rhyme
Users that are interested in rhyme are comparing it to the libraries listed below
Sorting:
- ☆55Updated 3 months ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆148Updated last year
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 5 months ago
- ☆53Updated 5 months ago
- Educational Proof Assistant for Type Theory☆74Updated last year
- Alternative algorithm for algebraic subtyping.☆170Updated last month
- The Next Generation of Compositional Programming☆52Updated last month
- ☆35Updated 10 months ago
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- Definition of the Viper intermediate verification language.☆88Updated 2 weeks ago
- A mechanisation of Wasm in Coq(Rocq)☆107Updated last month
- SSA vs ANF☆43Updated 10 years ago
- A compiler for functional programs on serialized data☆166Updated last month
- Proof assistant based on first-order logic and set theory☆57Updated this week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- A deterministic parser with fused lexing☆73Updated 2 years ago
- generative programming & verification☆33Updated last month
- The Shine compiler for the RISE language☆83Updated this week
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆26Updated 3 months ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆52Updated last month
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Hoare Type Theory☆77Updated last month
- Gallina to Bedrock2 compilation toolkit☆58Updated 3 weeks ago
- A formalisation of the Calculus of Constructions☆71Updated last year
- EGraphs in OCaml☆66Updated last year
- Staged compilation with dependent types☆178Updated 3 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆196Updated this week