Wolfram Institute
Opensource repository for the public research of the Wolfram Institute for Computational Foundations of Science.
Pinned
Loading
Hypergraph tools
Wolfram Language
10
2
Repositories
Showing 10 of 22 repositories
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 Apr 24, 2026
HypergraphRewritingEngine
Public
A high-performance implementation of multiway hypergraph rewriting for the Wolfram Physics Project.
WolframInstitute/HypergraphRewritingEngine’s past year of commit activity
C++
4
MIT
1
0
0
Updated Apr 23, 2026
WolframInstitute/Hypergraph’s past year of commit activity
Wolfram Language
10
MIT
2
3
0
Updated Apr 17, 2026
WolframInstitute/DiagrammaticComputation’s past year of commit activity
Wolfram Language
1
1
0
0
Updated Apr 16, 2026
WolframInstitute/ClaudePluginComputationalResearch’s past year of commit activity
Shell
1
0
0
0
Updated Apr 12, 2026
WolframInstitute/ClaudePluginMarketplace’s past year of commit activity
0
0
0
0
Updated Apr 12, 2026
UniversalityDB
Public
A formally verified knowledge graph of computational universality proofs
WolframInstitute/UniversalityDB’s past year of commit activity
Lean
1
0
0
2
Updated Apr 11, 2026
LeanLink
Public
Wolfram Language interface for Lean 4 proof assistant
WolframInstitute/LeanLink’s past year of commit activity
Wolfram Language
4
1
0
0
Updated Apr 1, 2026
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
1
MIT
0
0
0
Updated Mar 25, 2026
Most used topics
Loading…
You can’t perform that action at this time.
