Search

Go
JavaScript
TypeScript
Python
Rust
OCaml
Haskell
C
C++
Ruby
Swift
karnwong.me/dataframe-frameworks-showdown
karnwong.me/dagster-demo
karnwong.me/config-init
karnwong.me/calculator
8bit.tngl.sh/transferred
move the knot to a different location under the same name. seeing if it works.
karnwong.me/a2a-go-demo
kepelet.com/kepelet.com
kepelet.com
bradley.tngl.sh/theohmadex
pcb component information store
fizzylimesoda.nya.je/tv-screenshot-bot
1
matsteph.eurosky.social/moncine
Web-Application open source et auto-hébergé pour la gestion d'une collection de film. GPL3+
did:plc:v6lskqiuhgn3xdo7kugta4h5/geez
This is my first game engine
zzstoatzz.io/burner-redis
in-memory redis
1
utensil.tngl.sh/pygae-GAlgebra.jl
Julia interface to GAlgebra via PyCall 🔮 Mirror of https://github.com/pygae/GAlgebra.jl
utensil.tngl.sh/utensil.github.io
Utensil's index site for utensil.github.io
utensil.tngl.sh/awesome-stars
A curated list of my GitHub stars!
utensil.tngl.sh/blog
Utensil's Hugo blog for math, tech and thoughts
JavaScript
utensil.tngl.sh/profile
Utensil's profile
utensil.tngl.sh/forest
Utensil's Zettelkasten-style forest of evergreen notes on math and tech.
Python
utensil.tngl.sh/garden
Utensil's digital garden of Obsidian compatible notes via Quartz
TypeScript
1
utensil.tngl.sh/formal-land
Utensil's monorepo for formalization, e.g. Lean, Aya
Lean
utensil.tngl.sh/pygae-galgebra
Symbolic Geometric Algebra/Calculus package for SymPy 🔮 Mirror of https://github.com/pygae/galgebra
zzstoatzz.io/docket
zig port of github.com/chrisguidry/docket
utensil.tngl.sh/poems
Utensil's selected classical Chinese poems
utensil.tngl.sh/native-land
Utensil's monorepo for native projects: Rust, Zig, C++..., including code on GPU
Zig
utensil.tngl.sh/lean4_jupyter
A Lean 4 Jupyter kernel via repl
utensil.tngl.sh/lean-ga
My working branch of "A partial formalization of Geometric Algebra in the Lean formal proof verification system", with a focus on the blueprint.
utensil.tngl.sh/slides
My slides using reveal-md
2
utensil.tngl.sh/llm-playground
Utensil's LLM Playground (2023)
utensil.tngl.sh/julia-playground
A series of experiments with Julia and Python
utensil.tngl.sh/config
Personal checklist for setting up a development environment. Inspired by mdo/config
Returned 5396 of 5396 repos in 0s
Prev 1 — 167 168 169 — 180 Next