combinators / cls-scala
(CL)S - Combinatory Logic Synthesizer
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cls-scala
- Monoidal Toposes of Grammars and Semantic Actions☆16Updated this week
- Deciding Presburger arithmetic in agda☆31Updated last year
- The source for "Compiling with Dependent Types" (my dissertation)☆30Updated 2 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- ☆18Updated 2 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 5 years ago
- ☆11Updated 7 years ago
- an optimizing curry compiler☆12Updated last year
- A talk☆28Updated 3 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 5 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated last year
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆33Updated 5 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆25Updated 10 months ago
- A cost-aware logical framework, embedded in Agda.☆55Updated 2 months ago
- ☆12Updated 9 years ago
- miniKanren with a first-order representation of the search space☆16Updated 3 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated last week
- Quasi-quoting library for agda☆17Updated 4 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- A proof of Abel-Ruffini theorem.☆28Updated 2 months ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated last year
- Experiments with higher-order abstract syntax in Agda☆19Updated 2 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 7 years ago
- Fintie Sets in Cubical Agda☆12Updated 5 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- A bare-bones LCF-style proof assistant☆21Updated 5 years ago
- A string diagram generator for LaTeX.☆26Updated last year