OriRoth / fling
A fluent API generator
☆24Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for fling
- Fluent API generator☆39Updated last month
- Synthesis of Heap-Manipulating Programs from Separation Logic☆126Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆133Updated 5 years ago
- Spoofax runtime☆129Updated 3 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- Lem semantic definition language☆131Updated 8 months ago
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated last month
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆128Updated last week
- A toy functional language based on modal type theory. Try it online: https://mtt-lang.github.io/mtt-web☆42Updated 2 years ago
- Hoare Type Theory☆69Updated last month
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆407Updated this week
- ☆31Updated 11 months ago
- A modular sat/smt solver with proof output.☆97Updated 10 months ago
- A compiler for functional programs on serialized data☆158Updated this week
- A deterministic parser with fused lexing☆71Updated last year
- source code for the bondi programming language☆38Updated 5 years ago
- The Boomerang Bidirectional Programming Language☆75Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆136Updated 3 months ago
- OCaml extended with modular implicits☆103Updated 6 years ago
- Preprocessor / Pretty Printer for OCaml☆74Updated last month
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆53Updated 6 months ago
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- The Makam Metalanguage☆194Updated last year
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆139Updated last month
- Charity language interpreters and literature☆114Updated 5 years ago
- An in-memory datalog implementation for OCaml.☆261Updated last month