tvdstorm / oalgcomp
Object Algebra Composition
☆24Updated 11 years ago
Alternatives and similar repositories for oalgcomp:
Users that are interested in oalgcomp are comparing it to the libraries listed below
- prototyping logic programming in Scala☆41Updated 2 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Updated 4 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆31Updated 3 months ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- ☆15Updated 4 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated last year
- Arete is an experimental programming language.☆12Updated last year
- A small profunctor library for idris☆17Updated 2 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆64Updated 2 years ago
- System FR: Formalized Foundations for Stainless☆9Updated 3 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Updated 9 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 11 months ago
- HoTT Note-taking action☆25Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆23Updated 2 months ago
- SML The Living Language☆11Updated 11 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Benchmarking algebraic effect handler implementations☆26Updated 3 years ago
- oleg modules☆30Updated 11 years ago
- Two-Level Type Theory☆28Updated 5 years ago
- Dafny for Metatheory of Programming Languages☆24Updated 3 weeks ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated this week
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Sucessor: https://github.com/thautwarm/Quick-Backend☆24Updated 5 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Updated 6 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 4 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Generation of abstract binding trees☆27Updated 3 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 8 years ago