Prooftrees for Typst - Inspired by Latex's bussproofs
☆21Apr 29, 2024Updated 2 years ago
Alternatives and similar repositories for typst-prooftree
Users that are interested in typst-prooftree are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interactive Agda tutorial☆30Updated this week
- Template di tesi triennale in Informatica a UniPD☆26Sep 18, 2025Updated last year
- A Kotlin library implementing algebraic effect handlers.☆11Oct 23, 2023Updated 3 years ago
- ☆12Aug 19, 2021Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Dec 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Jun 1, 2020Updated 6 years ago
- Meta-theory and normalization for Fitch-style modal lambda calculi☆19May 27, 2024Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 4 years ago
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- Render math expression with typst markup language in Telegram☆10Apr 27, 2026Updated 6 months ago
- SBoost is a SIMD-based C++ library enabling fast filtering and decoding of lightweight encoded data☆11Jul 6, 2021Updated 5 years ago
- Typst Package to typeset inference rule☆68Oct 12, 2026Updated 2 weeks ago
- ☆16Aug 2, 2023Updated 3 years ago
- Build exams, tests, etc. with Typst—Moved to https://codeberg.org/ensko/typst-scrutinize☆13Jun 27, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- typst-ansi-hl highlights your Typst code☆15Jan 24, 2026Updated 9 months ago
- An April fools joke, a llvm backend to CMake☆49Sep 10, 2021Updated 5 years ago
- Logical Relation for MLTT in Coq☆35Apr 7, 2026Updated 6 months ago
- VS Code RISC-V Extension☆12Aug 31, 2026Updated 2 months ago
- Experimental type-checker for internally parametric type theory☆33Mar 27, 2025Updated last year
- Typst blog template based on Zola, typst.ts, and apollo.☆44Jun 8, 2025Updated last year
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- A repository to test dialects defined dynamically.☆12Jun 20, 2023Updated 3 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proof assistant for single sorted predicate logic☆14Sep 16, 2026Updated last month
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- A type-driven and high-performance ORM framework in Rust☆31Jun 13, 2025Updated last year
- Yet another python JIT.☆20Mar 22, 2023Updated 3 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Sep 23, 2026Updated last month
- Fork of Python with some terrible custom features hacked in☆14Oct 7, 2022Updated 4 years ago
- CityJSON loader and renderer for Three.js, React-three-fiber, and Jupyter Notebook / JupyterLab☆14Sep 23, 2025Updated last year
- A stream to RTL compiler based on MLIR and CIRCT☆17Nov 15, 2022Updated 3 years ago
- Very Naive MIPS CPU using Clash☆31Oct 17, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆10Apr 10, 2026Updated 6 months ago
- ☆14Jul 27, 2026Updated 3 months ago
- A hyperintensional theorem prover for rapidly prototyping modular semantic theories☆13Oct 15, 2026Updated 2 weeks ago
- ☆14Apr 25, 2022Updated 4 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- ☆22Feb 13, 2024Updated 2 years ago
- Automatically create a glossary in typst.☆24Jul 25, 2024Updated 2 years ago