Stars
A coq plugin to deal with commutative diagrams
A modern commutative diagram editor for the web.
GwenTinho / svg2cetz
Forked from paaguti/svg2tikzConvert SVG figures to CETZ - This will be a naive port of the svg2tikz library
An Inkscape extension for inserting typst generated formulas into your SVG document.
Beautiful and reliable typst code formatter
Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ
Convenient Rust-like string formatting in Typst (previously "typst-strfmt")
For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq
CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.
Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
This is a list of open problems in category theory.
This repository lists some of the new chapters being currently written for the Clowder Project (https://www.clowderproject.com)
A formalization of category theory in the Coq proof assistant.
An axiom-free formalization of category theory in Coq for personal study and practical work
Official repository of the Autosubst 2 project.
A micro Python based probabilistic programming language
Uses genetic programming to evolve finite automata given positive and negative examples of strings that do or do not match a target language.
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
pi-base-topos / web
Forked from pi-base/webCode powering the π-Base
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory