Wolfram Institute
Opensource repository for the public research of the Wolfram Institute for Computational Foundations of Science.
Pinned
Loading
Hypergraph tools
Mathematica
10
2
Repositories
Showing 10 of 21 repositories
WolframInstitute/TuringMachine’s past year of commit activity
Wolfram Language
2
0
0
0
Updated Mar 30, 2026
NeuralLearnability
Public
Map the learnability landscape of neural networks across function space.
WolframInstitute/NeuralLearnability’s past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Mar 25, 2026
ProgramGames
Public
Fast iterated game tournaments between Turing machines, finite state machines, cellular automata and other programs
WolframInstitute/ProgramGames’s past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Mar 24, 2026
WolframInstitute/Multicomputation’s past year of commit activity
Wolfram Language
6
2
0
0
Updated Mar 20, 2026
LeanLink
Public
Wolfram Language interface for Lean 4 proof assistant
WolframInstitute/LeanLink’s past year of commit activity
Wolfram Language
2
0
0
0
Updated Mar 17, 2026
CellularAutomaton
Public
Tools for exploring and analyzing cellular automata with Rust-accelerated search
WolframInstitute/CellularAutomaton’s past year of commit activity
Rust
0
0
0
0
Updated Mar 13, 2026
WolframInstitute/ClaudePluginComputationalResearch’s past year of commit activity
Shell
0
0
0
0
Updated Mar 8, 2026
WolframInstitute/ClaudePluginMarketplace’s past year of commit activity
0
0
0
0
Updated Mar 8, 2026
WolframInstitute/GeometricAlgebra’s past year of commit activity
Wolfram Language
11
3
1
0
Updated Mar 7, 2026
WolframInstitute/Infrageometry’s past year of commit activity
Wolfram Language
4
1
0
1
Updated Mar 7, 2026
Most used topics
Loading…
You can’t perform that action at this time.
