Lists (5)
Stars
Foetus -- Termination checker for a tiny functional language with inductive types
A Logical Relation for Martin-Löf Type Theory in Agda
A collaborative bibliography of work related to the theory and practice of computational effects
Demo for high-performance type theory elaboration
MoonBit Port of Implementations for Pierce's Types and Programming Languages
User-friendly Desktop Client App for AI Models/LLMs (GPT, Claude, Gemini, Ollama...)
NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
A statically-typed, functional typesetting system
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1，细粒度的自定义选项
Typst package to easily write lyrics with chords and generate colorful fretboard diagrams
Correctness of normalization-by-evaluation for STLC
A transpiler that converts TeX into Unicode (as possible).
Create beautiful diagrams just by typing notation in plain text.
CoqHott / logrel-mltt
Forked from mr-ohman/logrel-mlttA Logical Relation for Martin-Löf Type Theory in Agda
Lean theorem proving interface which feels like pen-and-paper proofs.
ShiTT is a toy proof assistant. (This project will be rewritten soon)
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
A Rust language and style specification for the LaTeX-package listings
Wadler-style pretty-printing combinators in Rust
Implementations of various type systems in OCaml.
An Agda formalisation accompanying the examples given in Section 7 of the paper "Handling fibred algebraic effects".
👹 A library for hierarchical names and lexical scoping