madsobitsoe / CATITOR
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 last month
- DIKU Support Tools for Canvas LMS☆14Updated 8 months ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆14Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Updated 7 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆13Updated 3 weeks ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Parallel Functional Programming, 2020☆16Updated last year
- HTTP utility library for Standard ML☆11Updated last year
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- Algebraic proof discovery in Agda☆33Updated 3 years ago
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- Yet Another deep embedding of Linear Logic in Coq☆15Updated last month
- Raylib bindings for Lean4☆25Updated 2 weeks ago
- Syng: A syntactic approach to concurrent separation logic with propositional ghost state, fully mechanized in Agda☆11Updated 2 years ago
- ☆25Updated 8 months ago
- Generic package manager for Standard ML libraries and programs☆165Updated 3 months ago
- A simple functional programming language.☆21Updated 3 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆59Updated 8 months ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- antifunext☆33Updated 10 months ago
- being bits and pieces I'm inclined to leave lying around☆50Updated 5 months ago
- Work in progress on semi-simplicial types☆23Updated 2 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- An experimental typing of Lojban grammar, in Haskell☆13Updated 11 years ago
- Call Futhark programs from Standard ML☆10Updated 8 months ago
- An Agda library for programming with ternary relations☆17Updated last month
- haha I'm graduating☆14Updated 3 years ago
- Coq library for handling names☆19Updated 2 years ago