madsobitsoe / CATITOR
The extremely portable, extremely extensible line editor
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for CATITOR
- The official interpreter for the Jeopardy language☆16Updated last year
- DIKU Support Tools for Canvas LMS☆13Updated last month
- ☆33Updated this week
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆92Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆14Updated 10 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- Parallel Functional Programming, 2020☆15Updated 9 months ago
- ☆21Updated 2 months ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆20Updated 2 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆17Updated last year
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- A simple functional programming language.☆21Updated 3 years ago
- A Language with Dependent Data and Codata Types☆53Updated this week
- antifunext☆28Updated 4 months ago
- ☆27Updated last year
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆71Updated 2 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆82Updated 3 years ago
- A Henkin-style completeness proof for the modal logic S5☆13Updated 3 years ago
- Mechanizations of Type Theories☆27Updated 2 weeks ago
- Prototype implementations of systems based on setoid type theory☆64Updated 3 years ago
- Algebraic proof discovery in Agda☆32Updated 2 years ago
- Deadlock freedom by type checking☆19Updated last year
- Call Futhark programs from Standard ML☆10Updated last month
- ☆89Updated 3 years ago
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated last year
- Official repository of the Autosubst 2 project.☆17Updated last year
- ☆22Updated last month
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆52Updated last month
- Coq library on rewriting theory and termination☆35Updated last week