Highlights
- Pro
-
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
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
-
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
-
-
-
-
-
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.
-
-
-
pi-forall Public
Forked from sweirich/pi-forallA demo implementation of a simple dependently-typed language
Haskell UpdatedJul 5, 2022 -
GenTorch Public
Forked from probcomp/GenTorchWork-in-progress C++/LibTorch-based Gen probabilistic programming language
C++ Apache License 2.0 UpdatedJun 29, 2022 -