Typst thesis template specialized on needs of mathematics.
☆15Apr 20, 2026Updated 6 months ago
Alternatives and similar repositories for clean-math-thesis
Users that are interested in clean-math-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Typst paper template specialized on needs of mathematics.☆20Jul 29, 2026Updated 2 months ago
- Multivariate (generalized) scattered data interpolation with symmetric (conditionally) positive definite kernel functions in arbitrary di…☆20Updated this week
- A Julia library of structure-preserving numerical methods for dispersive wave equations☆26Oct 1, 2026Updated 3 weeks ago
- T8code.jl is lightweight Julia wrapper for the t8code C/C++ library, which allows to manage multiple connected adaptive quadtrees/octrees…☆17Oct 2, 2026Updated 2 weeks ago
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simulation package for atmospheric models based on Trixi.jl☆19Updated this week
- Prooftrees for Typst - Inspired by Latex's bussproofs☆21Apr 29, 2024Updated 2 years ago
- kouhu (口胡) is a Chinese lipsum text generator for Typst. See also https://github.com/typst/packages/tree/main/packages/preview/kouhu☆12Jan 5, 2026Updated 9 months ago
- A set of tools for Coq written in Rust☆14Dec 4, 2017Updated 8 years ago
- Shallow water simulations with Trixi.jl☆32Oct 7, 2026Updated 2 weeks ago
- Curated list of AI coding agents, IDEs, CLIs, GUIs, etc. Most offer free tokens.☆21Aug 10, 2026Updated 2 months ago
- Logical Relation for MLTT in Coq☆35Apr 7, 2026Updated 6 months ago
- ☆12Sep 25, 2026Updated 3 weeks ago
- ☆15Apr 7, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 4 years ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated last year
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20May 7, 2023Updated 3 years ago
- Introduction to exploratory data analysis course for Mathematics and data analysis studies in Spring 2021/2022☆14Jun 16, 2022Updated 4 years ago
- A tool for benchmarking Ethereum clients.☆14Jul 22, 2025Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- ☆13Apr 16, 2025Updated last year
- Initializes and sets up reference elements and physical meshes for DG.☆38Oct 12, 2026Updated last week
- A transient UI for Cargo, Rust's package manager☆11Aug 1, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [ABANDONED] A nascent javascript library for math and physics calculations☆15Jul 21, 2015Updated 11 years ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 4 years ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- ☆15Jun 20, 2025Updated last year
- Post Graduate Diploma in Applied Statistics (PGDAST)☆14Sep 25, 2017Updated 9 years ago
- A Typst book template inspired by kaobook☆30May 5, 2026Updated 5 months ago
- Lean implementations of things found in Certified Programming with Dependent Types☆14Jun 5, 2022Updated 4 years ago
- ☆14Nov 8, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- devp2p implementation from akula☆15Mar 6, 2023Updated 3 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 5 years ago
- Aligned allocation for Rust☆15Oct 27, 2020Updated 5 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- Project environment and command launcher.☆14Oct 3, 2026Updated 2 weeks ago
- A falling sand game written in assembly. The binary fits in 512 bytes.☆14Apr 10, 2024Updated 2 years ago