DKormann

🪲 Call me windshield cause I'll be smashing them bugs

Berlin

Pinned Repositories

EAL_experiments
Language:Haskell3 0 00
highscript
Language:Lean8 1 11
hutter
Language:Python0 1 00
immorise_2d
Language:Jupyter Notebook2 3 00
keyspeed
human to computer text. Live: https://dkormann.github.io/keyspeed
Language:TypeScript1 1 00
pandafarm
Language:TypeScript2 0 00
tinsor
ein frontend for tinygrad
Language:Python0 1 00
tinygrad
You like pytorch? You like micrograd? You love tinygrad! ❤️
Language:Python0 0 00
ringgpt.github.io
http://ringgpt.github.io
Language:Svelte0 0 00
sciepedia.github.io
frontend for knowledge
Language:TypeScript5 1 00

DKormann's Repositories

DKormann/highscript
Language:Lean8 1 11
DKormann/EAL_experiments
Language:Haskell3 0 00
DKormann/pandafarm
Language:TypeScript2 0 00
DKormann/dkormann.github.io
awake.
Language:TypeScript1 1 00
DKormann/eintensor
Language:Python1 1 0
DKormann/LamBox
Language:TypeScript1 0 0
DKormann/Bend2
Bend2 - WIP
Language:Haskell0 0
DKormann/bend_playground
0 0
DKormann/boxbox
Language:Rust0 0
DKormann/boxwebsite
Language:TypeScript0 0
DKormann/game3d
https://dkormann.com/game3d
Language:TypeScript
DKormann/HVM3
HVM3
Language:Haskell0 0
DKormann/hvm_playground
Language:C1 0
DKormann/lean_playground
Language:Lean1 0
DKormann/merklestore
Language:TypeScript0 0
DKormann/minimal_signature_ui
Language:Python
DKormann/musicplayer
Language:TypeScript0 0
DKormann/neuralnetwork_in_lists
Language:Python0 0
DKormann/nodeBox
Language:TypeScript0 0
DKormann/pixelworld
Language:TypeScript0 0
DKormann/rubox
Language:Rust0 0
DKormann/rubox_app
Language:TypeScript0 0
DKormann/sciepediaapp
Language:TypeScript1 0
DKormann/shaderplay
Language:TypeScript0 0
DKormann/smartfarm
Language:TypeScript0 0
DKormann/template_appy
Language:TypeScript1 0
DKormann/tetris
Language:TypeScript1 0
DKormann/TinyLean
Language:Lean
DKormann/WanShi
a lib
Language:Python0 0
DKormann/wasm_nova
JS engine to embed in spacetime
Language:Rust0 0