Highlights
- Pro
-
-
absynthe Public
Syndicated Actor Model for Elixir - implementation of the SAM of Tony Garnock-Jones (w/ Preserves)
Elixir Apache License 2.0 UpdatedDec 17, 2025 -
-
crumble Public
A Rust implementation of the Strudel pattern language for algorithmic music
Rust UpdatedDec 4, 2025 -
-
-
-
genjax Public
Probabilistic programming with vectorized programmable inference
-
tinyworlds Public
Forked from AlmondGod/tinyworldsA minimal implementation of DeepMind's Genie world model
Python UpdatedSep 28, 2025 -
nx Public
Forked from elixir-nx/nxMulti-dimensional arrays (tensors) and numerical definitions for Elixir
Elixir UpdatedJul 18, 2025 -
baba-is-agi Public
Python implementation of Baba Is You designed for AI agent development. Features complete game engine, 120+ objects, and 14 puzzle environments.
-
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
Jupyter Notebook UpdatedAug 16, 2024 -
-
-
-
-
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 -
oryx Public
Forked from jax-ml/oryxOryx is a library for probabilistic programming and deep learning built on top of Jax.
Python Apache License 2.0 UpdatedFeb 13, 2023 -
jax-badge Public
An awesome badge to highlight that your project uses JAX under the hood.
-
GenTL Public
Forked from probcomp/GenTLC++ template library for probabilistic inference and learning based on probabilistic programming
C++ UpdatedJan 19, 2023 -
abstraps Public
Pull your compiler up with abstract bootstraps.
-
-