Highlights
- Pro
-
sdfii Public
Render 3D SDF scenes as ASCII/Unicode terminal animations
Zig MIT License UpdatedApr 9, 2026 -
-
snacks Public
The greater mind once dreamed of leaf and cast these caverns so. In every bush and every vine the mind of Unn reveals itself to us.
Python UpdatedApr 9, 2026 -
-
-
-
-
-
genjax Public
Probabilistic programming with vectorized programmable inference
-
crumblez Public
Zig port of crumble pattern engine for algorithmic music
Zig Other UpdatedFeb 23, 2026 -
inshallah Public
everyone is making the same thing and nothing matters anymore (no one cares about your orchestrator)
-
tether Public
A high-performance rope data structure implementation in Zig
Zig MIT License UpdatedDec 20, 2025 -
-
crumble Public
A Rust implementation of the Strudel pattern language for algorithmic music
-
-
tinyworlds Public
Forked from AlmondGod/tinyworldsA minimal implementation of DeepMind's Genie world model
-
nx Public
Forked from elixir-nx/nxMulti-dimensional arrays (tensors) and numerical definitions for Elixir
Elixir UpdatedJul 18, 2025 -
baba_is_eval Public
Forked from lennart-finke/baba_is_evalClaude et al. play the brilliant puzzle title "Baba is You"
-
-
-
-
SciLean Public
Forked from lecopivo/SciLeanScientific computing in Lean 4
Lean Apache License 2.0 UpdatedDec 30, 2024 -
Kinetix Public
Forked from FLAIROx/KinetixReinforcement learning on general 2D physics environments in JAX
Python MIT License UpdatedNov 21, 2024 -
A language for mental models
-
programmable-vi-pldi-2024 Public
Probabilistic programming with programmable variational inference.
-
-
-
-
fun.lean Public
Mike Spivey's "Principles of Programming Languages" in Lean4.
-
tinygp Public
Forked from dfm/tinygpThe tiniest of Gaussian Process libraries
Python MIT License UpdatedMar 11, 2023