Pinned Repositories
area-of-effect
computational-law
Implementing Computational Law in Wolfram Language for Governance of Artificial Intelligence
fast-stack
A rapid development full stack webapp template; FastAPI, SQLModel, Angular, Ionic, Firebase, GCP, Auth0
godot_hypergraph
real-time hypergraph rewriting visualization
Hypergraph
Hypergraph Rewriting System
lean-gpt
Pre-prompt for ChatGPT-4 AI Assistant to do Lean Theorem Prover proofs.
NO-CSS
The only CSS tool you will ever need.
rulial_space
A hypergraph rewriting game
Zaffer's Repositories
Zaffer/fast-stack
A rapid development full stack webapp 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/rulial_space
A hypergraph rewriting game
Zaffer/area-of-effect
Zaffer/computational-law
Implementing Computational Law in Wolfram Language for Governance of Artificial Intelligence
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
Solving for the merging of views in Tinygrad
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/interaction-calculus-visualiser
Zaffer/polytopy
neural networks are just polytopes
Zaffer/tinary-font
a tiny binary font