Prooftrees for Typst - Inspired by Latex's bussproofs
☆20Apr 29, 2024Updated last year
Alternatives and similar repositories for typst-prooftree
Users that are interested in typst-prooftree are comparing it to the libraries listed below
Sorting:
- ☆16Aug 2, 2023Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Dec 12, 2019Updated 6 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 4 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- ☆12Aug 19, 2021Updated 4 years ago
- Yet another python JIT.☆20Mar 22, 2023Updated 2 years ago
- An April fools joke, a llvm backend to CMake☆49Sep 10, 2021Updated 4 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Logical Relation for MLTT in Coq☆30Jan 14, 2026Updated last month
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- Zombie chan revive!☆27Feb 27, 2024Updated 2 years ago
- Syntax for Virtual Equipments: a natural syntax for doing synthetic and internal category theory☆32Apr 29, 2023Updated 2 years ago
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 5 months ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated 8 months ago
- ☆12Feb 18, 2024Updated 2 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- A course for Mao Yisheng College of SWJTU☆11Mar 28, 2020Updated 5 years ago
- A simple minimax chess engine written in prolog☆11May 8, 2023Updated 2 years ago
- A complete Pokemon generation 1 battle simulator including all Pokemon and moves.☆12Feb 17, 2024Updated 2 years ago
- 日本語／英語文献 Typstパッケージ☆17Dec 21, 2025Updated 2 months ago
- Isomorphic JavaScript helper functions (crpyto, performance, ..)☆11Jul 18, 2023Updated 2 years ago
- antifunext☆38Jun 27, 2024Updated last year
- Typst Package to typeset inference rule☆58Feb 21, 2026Updated last week
- VSCode plugin for Standard ML☆40Mar 8, 2024Updated last year
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆45Jul 14, 2024Updated last year
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- Alternative Mizar proof checker (http://mizar.org/) written in Rust☆60Jan 11, 2026Updated last month
- A LR(1) parser generator targeting C++17.☆13Jul 8, 2020Updated 5 years ago
- Examples and support libraries for the amdgpu Rust target☆15Dec 4, 2025Updated 2 months ago
- ObjectPropertyDelegate for Kotlin class properties & functions.☆10Apr 6, 2020Updated 5 years ago
- ☆14Oct 30, 2024Updated last year
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated 3 weeks ago
- A helper package to get information of scholarly articles from DBLP using its public API☆15May 13, 2025Updated 9 months ago
- Web UI for analyzing Language Server Protocol logs☆13Feb 28, 2023Updated 3 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago