My basic LaTeX macros and BibTeX file.
☆14Jan 13, 2023Updated 3 years ago
Alternatives and similar repositories for basictex
Users that are interested in basictex are comparing it to the libraries listed below
Sorting:
- Homotopy type theory☆14Sep 21, 2022Updated 3 years ago
- Categorical logic from a categorical point of view☆81Oct 19, 2023Updated 2 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 14 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Directed type theory for formal category theory☆17Apr 7, 2017Updated 8 years ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆26Dec 27, 2023Updated 2 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆53Oct 20, 2021Updated 4 years ago
- A hybrid Java/Python desktop app that collects regional Uber/Lyft driver information in real-time☆10Sep 16, 2017Updated 8 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Feb 13, 2026Updated 2 weeks ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 3 months ago
- Kan: A browser extension for reading nLab☆34Oct 2, 2018Updated 7 years ago
- Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]☆40May 13, 2025Updated 9 months ago
- This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner…☆10Jan 30, 2026Updated last month
- Homotopy theory in Coq.☆89Mar 26, 2011Updated 14 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A first bare bones paralleled implementation of Go Explore as described by the Uber Engineering blog post☆46Jan 25, 2019Updated 7 years ago
- Python library for USB2FIR, an USB interface board for MLX90640☆14Nov 7, 2019Updated 6 years ago
- Template for a basic academic page☆16Updated this week
- The wrapper for the cryptographic library EUSignCP.DLL☆13Sep 7, 2017Updated 8 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- ☆50May 15, 2023Updated 2 years ago
- Command-like expressions for real infinite-precision calculations☆55Aug 5, 2025Updated 6 months ago
- A collection of .bashrc stuff and other dotfiles☆20Feb 19, 2026Updated last week
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Computation using data flow graphs for scalable machine learning☆10Mar 15, 2018Updated 7 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- COS 429 final project completed by Adam Fisch and Max Shatkhin. Using image processing techniques including Eulerian Video Magnification …☆10Sep 25, 2015Updated 10 years ago
- Quick search, preview directly in alfred any icons by the thenounproject.com service.☆12Mar 28, 2023Updated 2 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- GTK/Rust based viewer for the Mandelbrot set☆14Feb 20, 2026Updated last week
- ☆11Nov 7, 2025Updated 3 months ago
- Jupytext talk at PyParis 2018☆11Dec 10, 2018Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- ☆12May 12, 2014Updated 11 years ago
- Kustomize dhall generator plugin☆11Sep 16, 2019Updated 6 years ago
- Simple visualized cetz editor☆11Apr 22, 2025Updated 10 months ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆11Jan 18, 2026Updated last month