madsobitsoe / CATITORLinks
The extremely portable, extremely extensible line editor
☆13Updated 3 years ago
Alternatives and similar repositories for CATITOR
Users that are interested in CATITOR are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆22Updated 4 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Updated last year
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A dependent type theory with user defined data types☆47Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 7 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Design, play with, and analyze sequent calculus proof systems.☆13Updated 11 months ago
- Algebraic proof discovery in Agda☆34Updated 3 years ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆14Updated 5 months ago
- Coq library for handling names☆19Updated 3 years ago
- A compiler for the Dana programming language☆11Updated 4 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- # A simple variable binding library based on well-scoped indices and environments☆17Updated 2 weeks ago
- The Next Generation of Compositional Programming☆52Updated 2 weeks ago
- A simple functional programming language.☆21Updated 4 years ago
- a proof-of-concept programming language based on call-by-push-value☆54Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- This aims to be the most pretentious implementation of stlc in existence☆64Updated 3 years ago
- The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.☆28Updated last year
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆60Updated last year
- ☆25Updated last year
- Command-like expressions for real infinite-precision calculations☆53Updated 3 weeks ago
- ☆90Updated 3 years ago
- ☆29Updated 2 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆30Updated 5 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 5 months ago
- WIP stack language that uses regex for control flow☆42Updated last year