Repository Index

60,121 visible repositories in the index

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

Clear all filters

1–2 of 2 · Most stars

Search: lenia

Chakazul / Lenia

Python 3.9K 255

Lenia - Mathematical Life Forms

cellular-automata
lenia
matlab
javascript

lenianiva / lean4-nix

Nix 128 22

Nix overlay for Lean 4, and lake2nix

lean
lean4
nix