61
stars
428
commits
C
primary language
Jan 5, 2025
updated
Lots of things go here.
209 commits
89 commits
40 commits
HigherOrderCO/Kind
A modern proof language
3,764
MaulingMonkey/notes
Dumping ground of public notes / journaling
0
Unbound-Infotech-Corporation/Heirloomunbound
jimmyhmiller/PlayGround
A place to goof around with code.
27
axolotl-ai-cloud/axolotl-cookbook
40
VictorTaelin/AI-scripts
Some handy AI scripts
696
VictorTaelin/Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction…
948
goko897/code
100.0%
