Utensil's Zettelkasten-style forest of evergreen notes on math and tech.
☆11Feb 16, 2026Updated 2 weeks ago
Alternatives and similar repositories for forest
Users that are interested in forest are comparing it to the libraries listed below
Sorting:
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆16Aug 2, 2023Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 3 weeks ago
- ☆14Jun 7, 2024Updated last year
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- Neovim plugin for forester☆18Nov 18, 2024Updated last year
- VSCode support for Forester☆22Nov 17, 2025Updated 3 months ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated 10 months ago
- Mirror of ocaml-forester☆50Jun 18, 2024Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆92May 26, 2025Updated 9 months ago
- Effects-based OCaml Nameserver☆39Dec 3, 2025Updated 2 months ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- ☆11Updated this week
- AI-powered book-writing system that converts ideas into full manuscripts in hours with multi-agent collaboration, real-time streaming, an…☆31Oct 13, 2025Updated 4 months ago
- Thebes.jl is a simple little package that provides 3D services to Luxor.jl.☆32Sep 8, 2025Updated 5 months ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- A generalized framework that can be used to easily create visualizations of MIDI input using Processing and the Midibus library☆14Jan 16, 2021Updated 5 years ago
- This is a C Programming Learning Repository for Beginners - a structured learning path designed to guide newcomers through C programming …☆22Sep 12, 2025Updated 5 months ago
- An introduction course about scientific computing and research for the first year undergraduates taught at Fudan University.☆10Nov 6, 2025Updated 3 months ago
- H.O.T.T. using rewriting in Agda☆46Sep 18, 2022Updated 3 years ago
- Angular 10 Codelab Quiz App☆17Nov 29, 2025Updated 3 months ago
- ☆10Jan 28, 2013Updated 13 years ago
- MacForge plugin for Safari☆12Jul 17, 2018Updated 7 years ago
- Max4live and Max/MSP tools for audio and video☆10Sep 21, 2024Updated last year
- ☆12Mar 13, 2025Updated 11 months ago
- A semantic analysis tool for debugging python code☆24Jan 12, 2026Updated last month
- An R package for interfacing with a WebAPI instance☆10Sep 5, 2025Updated 5 months ago
- A modulation utility that output a value linearly interpolated between two input values.☆14Oct 2, 2025Updated 5 months ago
- Set in the magical realm of the Sacred Lands, three races - the Empire, the Legions of the Damned, and the Undead Hordes - battle for the…☆10Feb 21, 2026Updated last week
- White Cats define Pure functions☆15Nov 4, 2025Updated 3 months ago
- Xy-pic extension for MathJax version 3☆38Jun 10, 2022Updated 3 years ago
- My dotfiles: i3wm, neovim, zsh, xkb, termite.☆10Aug 6, 2020Updated 5 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated 9 months ago
- ☆26Aug 26, 2025Updated 6 months ago
- UDP/TCP Networking for Max/MSP 8+ (nodejs)☆14Nov 27, 2021Updated 4 years ago
- ☆21Oct 24, 2025Updated 4 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 7 months ago