kamholz / latreexLinks
LaTeX tree maker: https://lautgesetz.com/latreex/
☆38Updated 3 years ago
Alternatives and similar repositories for latreex
Users that are interested in latreex are comparing it to the libraries listed below
Sorting:
- (λ) Educational lambda calculus interpreter☆73Updated 4 years ago
- A calculator with a beautiful interface for the Terminal, Including unicode-based charting and rich mathematical notation rendering☆60Updated 2 years ago
- Yoneda lemma in every known language☆17Updated 2 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Updated 5 years ago
- Set up a specific version of Agda for your GitHub Actions workflow.☆28Updated 2 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Specification of Agda.☆25Updated 7 years ago
- Template to effortlessly build math-rich websites☆40Updated 4 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 5 years ago
- joke page until I decide what to do with this domain name☆39Updated 7 months ago
- Haskell implementation of nominal datatypes and functions☆44Updated 5 years ago
- (λ) Category theory and lambda calculus, Bachelor's thesis☆42Updated 7 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated 2 years ago
- a library for experimental linear lambda calculus☆20Updated 2 years ago
- A [ functional stack ] based language.☆30Updated 2 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆51Updated 3 years ago
- Agda as a collaborative multiplayer game☆38Updated last year
- The glitch-soc/Mastodon fork running on types.pl☆26Updated this week
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 4 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Updated 3 weeks ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆86Updated 4 years ago
- A usable type system for call by push-value☆33Updated 6 years ago
- Harper's Modernized ALGOL in SML using multi-sorted nominal abstract binding trees☆15Updated 8 years ago
- Functional teaching language for use in a discrete mathematics course☆179Updated 3 weeks ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- ☆90Updated 4 years ago
- A reversible language☆22Updated 7 years ago