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
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- DIKU Support Tools for Canvas LMS☆14Updated 7 months ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 4 months ago
- Verified Extraction from Rocq to OCaml/Malfunction☆13Updated this week
- Image Utilities for F# (2d-drawing, loading/saving of image files, simple Gtk apps)☆9Updated 2 years ago
- A simple functional programming language.☆21Updated 3 years ago
- Typing the linear pi calculus in Agda☆29Updated 3 years ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Mechanizations of Type Theories☆28Updated 2 months ago
- Design, play with, and analyze sequent calculus proof systems.☆13Updated 7 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
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Updated last year
- Yet Another deep embedding of Linear Logic in Coq☆14Updated 2 weeks ago
- NbE course @ Chalmers☆28Updated 7 months ago
- Staged compilation with dependent types☆171Updated this week
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Agda programming with holes☆27Updated 4 years ago
- This aims to be the most pretentious implementation of stlc in existence☆62Updated 3 years ago
- ☆39Updated 8 months ago
- A bidirectional type checker☆63Updated 7 years ago
- ☆24Updated 7 months ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆10Updated 5 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 7 years ago
- ☆10Updated last month
- A Coq development of the theory of Indexed W types with function extensionality.☆11Updated 7 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- ☆29Updated 2 years ago