-
-
-
-
forest Public
My Zettelkasten-style forest of evergreen notes on math and tech.
-
-
native-land Public
A monorepo for my native projects, including on GPU
Zig MIT License UpdatedOct 1, 2025 -
ocaml-forester Public
My development repo of Jon Sterling's https://git.sr.ht/~jonsterling/ocaml-forester
OCaml UpdatedSep 19, 2025 -
-
forester-base-theme Public
This is my development repo for https://git.sr.ht/~jonsterling/forester-base-theme , see https://github.com/utensil/forester-base-theme/issues/1 to learn more.
XSLT UpdatedSep 19, 2025 -
jw Public
Forked from PsychedelicShayna/jwBlazingly fast CLI filesystem traverser and multithreaded mass file hasher / hash index generator, with diff support to validate hashes and track changes, powered by jwalk and xxh3, and of course,…
Rust GNU General Public License v3.0 UpdatedAug 13, 2025 -
timelinize Public
Forked from timelinize/timelinizeStore your data from all your accounts and devices in a single cohesive timeline on your own computer
Go GNU Affero General Public License v3.0 UpdatedJul 17, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedJul 12, 2025 -
hackernews-TUI Public
Forked from aome510/hackernews-TUIA Terminal UI to browse Hacker News
Rust MIT License UpdatedJul 11, 2025 -
assets Public
Size-optimized assets for external access, optionally via CDN
Creative Commons Zero v1.0 Universal UpdatedJul 3, 2025 -
shader-playground Public
Forked from KroneCorylus/ghostty-shader-playgroundPersonal space for learn and develop shaders
GLSL MIT License UpdatedJun 28, 2025 -
helix-cheat-sheet Public
A cheat sheet for Helix editor, authored in Typst
-
setup-texlive-action Public
Forked from FreeAndFair/setup-texlive-actionA GitHub Action to set up TeX Live
TypeScript MIT License UpdatedJun 9, 2025 -
galgebra Public
Forked from pygae/galgebraSymbolic Geometric Algebra/Calculus package for SymPy 🔮
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 30, 2025 -
copilot-api Public
Forked from ericc-ch/copilot-apiGitHub Copilot API wrapper to make it OpenAI compatible
TypeScript GNU Affero General Public License v3.0 UpdatedMay 25, 2025 -
-
-
formal-land Public
My monorepo for formalization, e.g. Lean, Aya
-
copilot-proxy Public
Forked from lutzleonhardt/copilot-proxyCopilot Proxy is a Visual Studio Code extension that exposes the VS Code Language Model API via an Express server. This experimental extension is intended solely for research and prototyping purpos…
TypeScript MIT License UpdatedMar 10, 2025 -
build.crab Public
Forked from akarpovskii/build.crabBuild and use Rust libraries from Zig
Zig MIT License UpdatedMar 5, 2025 -
-
forester.nvim Public
Forked from kentookura/forester.nvimNeovim plugin for forester
Lua MIT License UpdatedNov 18, 2024 -
mathbench-rs Public
Forked from bitshifter/mathbench-rsComparing performance of Rust math libraries for common 3D game and graphics tasks
Rust Other UpdatedOct 29, 2024 -
ga-benchmark Public
Forked from loewt/ga-benchmarkA benchmark for Geometric Algebra libraries, library generators, and code optimizers.
C++ GNU General Public License v3.0 UpdatedOct 27, 2024 -
lean.nvim Public
Forked from Julian/lean.nvimNeovim support for the Lean theorem prover
Lua MIT License UpdatedOct 23, 2024 -
ginac-lean Public
A work-in-progress Lean 4 binding to GiNaC
{{ message }}