utensil
Follow
-
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
Rust MIT License UpdatedMar 7, 2025 -
copilot-more Public
Forked from jjleng/copilot-moreGPT-4o and Claude-3.7-Sonnet APIs for coding.
Python MIT License UpdatedMar 4, 2025 -
-
-
-
-
forester.nvim Public
Forked from kentookura/forester.nvimNeovim plugin for forester
Lua MIT License UpdatedNov 18, 2024 -
formal-land Public
My monorepo for formalization, e.g. Lean, Aya
-
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
-
vscode-forester Public
Forked from Trebor-Huang/vscode-foresterVSCode support for Forester
TypeScript UpdatedOct 6, 2024 -
-
forester-base-theme Public
This is a mirror of https://git.sr.ht/~jonsterling/forester-base-theme for https://github.com/utensil/forest, created because of hours of service interuption of SourceHut on Jun 17, 2024.
XSLT UpdatedAug 18, 2024 -
-
lean4-alloy Public
Forked from tydeu/lean4-alloyWrite C shims from within Lean code.
Lean Apache License 2.0 UpdatedJun 14, 2024 -
-
reservoir-index Public
Forked from leanprover/reservoir-indexRegistry index for Reservoir
Python UpdatedMay 30, 2024 -
lean-ga Public
Forked from pygae/lean-gaA partial formalization of Geometric Algebra in the Lean formal proof verification system.
Lean MIT License UpdatedMay 28, 2024 -
Grassmann.jl Public
Forked from chakravala/Grassmann.jl⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
Julia GNU Affero General Public License v3.0 UpdatedMay 21, 2024 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
TeX Apache License 2.0 UpdatedMay 20, 2024 -
-
repl Public
Forked from leanprover-community/replA simple REPL for Lean 4, returning information about errors and sorries.
Lean UpdatedMay 16, 2024 -
LeanInk Public
Forked from leanprover/LeanInkThe forked repo for contributing to upstream
Lean Apache License 2.0 UpdatedMay 11, 2024 -
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedMay 6, 2024 -
hugo-simplecite Public
Forked from joksas/hugo-simpleciteCitations in Hugo websites.
HTML MIT License UpdatedMar 20, 2024 -
verso Public
Forked from leanprover/versoLean documentation authoring tool
Lean Apache License 2.0 UpdatedMar 16, 2024 -
utensil.github.io Public
My Github Home