Pinned Repositories
fast-stack
the rapid development web app template; FastAPI, SQLModel, Angular, Ionic, Firebase, GCP, Auth0
godot_hypergraph
real-time hypergraph rewriting visualization
Hypergraph
Hypergraph Rewriting System
Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
jameswiles-dot-com
lean-gpt
Pre-prompt for ChatGPT-4 AI Assistant to do Lean Theorem Prover proofs.
leanygrad
Lean implementation of Teenygrad
NO-CSS
The only CSS tool you will ever need.
Zaffer's Repositories
Zaffer/fast-stack
the rapid development web app template; FastAPI, SQLModel, Angular, Ionic, Firebase, GCP, Auth0
Zaffer/lean-gpt
Pre-prompt for ChatGPT-4 AI Assistant to do Lean Theorem Prover proofs.
Zaffer/NO-CSS
The only CSS tool you will ever need.
Zaffer/godot_hypergraph
real-time hypergraph rewriting visualization
Zaffer/Hypergraph
Hypergraph Rewriting System
Zaffer/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Zaffer/jameswiles-dot-com
Zaffer/leanygrad
Lean implementation of Teenygrad
Zaffer/rule-30
workings for rule 30 prizes
Zaffer/SwapSix
alternative keyboard layout optimising for minimal change and maximum egonomics
Zaffer/tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
Zaffer/synetic-dot-dev