Typst thesis template specialized on needs of mathematics.
☆15Feb 14, 2026Updated last month
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:
- A Julia library of structure-preserving numerical methods for dispersive wave equations☆24Updated this week
- Multivariate (generalized) scattered data interpolation with symmetric (conditionally) positive definite kernel functions in arbitrary di…☆17Mar 4, 2026Updated 3 weeks ago
- A Julia library of positivity-preserving time integration methods☆19Mar 17, 2026Updated last week
- T8code.jl is lightweight Julia wrapper for the t8code C/C++ library, which allows to manage multiple connected adaptive quadtrees/octrees…☆17Mar 3, 2026Updated 3 weeks ago
- Straightforward and functional theorem/proof environments in Typst.☆17Feb 24, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- GitHub action to downgrade julia compat entries before testing☆22Mar 2, 2026Updated 3 weeks ago
- A simple yet sufficiently fast (attenuated) Radon and backproject implementation using KernelAbstractions.jl. Runs on CPU, CUDA, ...☆19Dec 1, 2025Updated 3 months ago
- GitHub action to downgrade compat entries before testing☆19Feb 17, 2024Updated 2 years ago
- The multimode presheaf proof-assistant☆37Jan 23, 2026Updated 2 months ago
- Post Graduate Diploma in Applied Statistics (PGDAST)☆14Sep 25, 2017Updated 8 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- [ABANDONED] A nascent javascript library for math and physics calculations☆15Jul 21, 2015Updated 10 years ago
- An Interactive Discrete Mathematics Framework for GAP☆10Updated this week
- Numerical integration over Meshes.jl geometry domains☆30Mar 1, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Shallow water simulations with Trixi.jl☆29Mar 9, 2026Updated 2 weeks ago
- iOS Sprite Kit PhysicsDebugger☆111Dec 20, 2017Updated 8 years ago
- Logical Relation for MLTT in Coq☆31Jan 14, 2026Updated 2 months ago
- Unofficial instructions for changing Python kernel version on Google Colab.☆25Apr 21, 2025Updated 11 months ago
- Abstractions for iterating and mapping over struct fields☆17Jan 15, 2026Updated 2 months ago
- Measure disk speed from Python. Disk can be SSD, HDD, NAS, Cloud, etc☆12May 23, 2015Updated 10 years ago
- ☆15Jul 2, 2023Updated 2 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 6 years ago
- Exponential Idle Save Game Editor☆13Mar 14, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Apr 16, 2025Updated 11 months ago
- Framework for measuring sim-to-real gaps in robot joint motions. Supports different humanoids with physics simulation, real hardware data…☆79Feb 5, 2026Updated last month
- Einstein's Riddle (aka Zebra Puzzle) formulated as a Prolog program.☆14Dec 24, 2018Updated 7 years ago
- A software exploration tool to support developers during their work☆13May 22, 2022Updated 3 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- Introduction to exploratory data analysis course for Mathematics and data analysis studies in Spring 2021/2022☆14Jun 16, 2022Updated 3 years ago
- Skill Map To Learn Mathematic☆13May 7, 2020Updated 5 years ago
- PPM compressor with a 128 bytes short decompressor☆10Apr 13, 2022Updated 3 years ago
- An attempt at safe imperative GPU programming.☆62Jan 23, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This is a linear algebra library written using MoonBit, aiming to fill the gap in scientific computing applications in the MoonBit ecosys…☆14Feb 4, 2026Updated last month
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- GarageExtender for GTA SA developed by Link2012☆11Jul 17, 2021Updated 4 years ago
- CLI wrapper around ethers-rs to query the ethereum blockchain from the terminal☆20May 7, 2023Updated 2 years ago
- RBniCSx - reduced order modelling in FEniCSx☆12Mar 13, 2026Updated 2 weeks ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- <Coliop|Coin> Mathematical Programming Language☆14Jul 11, 2024Updated last year