utensil.tngl.sh

1 followers 8 following

Migrating...

1 followers 8 following

https://github.com/utensil

https://x.com/_utensil_

https://bsky.app/profile/iutensil.bsky.social

https://app.radicle.xyz/nodes/iris.radicle.xyz/users/did%3Akey%3Az6Mkoi6L46Tr54sMQmctod6Q43VjYyLwBh8VwJvftMZwdiHt

22 Repositories

Punchcard 0 commits

Pinned repositories

blog

Utensil's Hugo blog for math, tech and thoughts

JavaScript

forest

Utensil's Zettelkasten-style forest of evergreen notes on math and tech.

Python

garden

Utensil's digital garden of Obsidian compatible notes via Quartz

TypeScript

formal-land

Utensil's monorepo for formalization, e.g. Lean, Aya

Lean

native-land

Utensil's monorepo for native projects: Rust, Zig, C++..., including code on GPU

Zig

infra-land

Central hub for Utensil's infrastructure code: dev environment setup, just tasks, dotfiles, and container stacks

Just

Activity

2 months ago

Created 22 repositories

tech

JavaScript

writings

JavaScript

pygae-GAlgebra.jl

Jupyter Notebook

utensil.github.io

JavaScript

awesome-stars

blog

JavaScript

profile

forest

Python

garden

TypeScript

formal-land

Lean

pygae-galgebra

Jupyter Notebook

poems

TeX

native-land

Zig

lean4_jupyter

Jupyter Notebook

lean-ga

Lean

slides

JavaScript

llm-playground

Jupyter Notebook

julia-playground

Jupyter Notebook

config

Shell

behind-programming

dockerfiles

Dockerfile

infra-land

Just