Utensil's Zettelkasten-style forest of evergreen notes on math and tech.
☆12May 30, 2026Updated last month
Alternatives and similar repositories for forest
Users that are interested in forest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Aug 2, 2023Updated 2 years ago
- ☆14Jun 7, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- Mirror of ocaml-forester☆51Jun 18, 2024Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 4 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.
- VSCode support for Forester☆23Nov 17, 2025Updated 7 months ago
- A server for the forester tool☆19Dec 10, 2024Updated last year
- ♾️ A library for universe levels and universe polymorphism☆41Jun 19, 2026Updated last week
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆94May 26, 2025Updated last year
- https://1000-plus.github.io/☆24Apr 15, 2026Updated 2 months ago
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- Deploy sourcehut by docker☆13Aug 29, 2022Updated 3 years ago
- Neovim plugin for forester☆20Nov 18, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- C++模板工具类的简易实现☆10Aug 20, 2023Updated 2 years ago
- Effects-based OCaml Nameserver☆40May 31, 2026Updated last month
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆31Jun 27, 2024Updated 2 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Jan 2, 2026Updated 6 months ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆63Jun 24, 2026Updated last week
- ☆13Jun 18, 2026Updated last week
- Development directory of the core bdBLB vesting and lockdrop mechanics☆10Jun 13, 2024Updated 2 years ago
- Thebes.jl is a simple little package that provides 3D services to Luxor.jl.☆33Sep 8, 2025Updated 9 months ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆18Apr 3, 2023Updated 3 years ago
- Git Repo for managing the ontological logger☆12Jun 24, 2026Updated last week
- General-purpose utility library for Swift☆14Feb 17, 2025Updated last year
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Experiments and course for oscamp.☆13May 5, 2025Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆61Jun 17, 2022Updated 4 years ago
- ☆13Jul 10, 2025Updated 11 months ago
- Notes and exercises from Mathematical Logic, 2nd ed. by Ebbinghaus☆13Sep 19, 2016Updated 9 years ago
- mdbook plugin allowing to load and present a bibliography in BibLaTex or Hayagriva YAML formats in your books and cite its references☆33Mar 13, 2026Updated 3 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.
- ☆44Apr 8, 2025Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆53Jan 23, 2023Updated 3 years ago
- Woo pool, version 2.0☆14Jul 7, 2025Updated 11 months ago
- Ground Zero: Lean 4 HoTT Library☆84Feb 17, 2026Updated 4 months ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated last year
- 🍭 A Solidity library for prime field arithmetic☆16Jan 31, 2024Updated 2 years ago
- Xy-pic extension for MathJax version 3☆40Jun 10, 2022Updated 4 years ago