Wolfram Institute
Opensource repository for the public research of the Wolfram Institute for Computational Foundations of Science.
Pinned
Loading
Hypergraph tools
Wolfram Language
12
4
Repositories
Showing 10 of 47 repositories
Rule30PrizeKit
Public
Reference Lean environment for Rule 30 Prize submissions: the official statements, proved partial results and equivalent forms, and the verifier's checker
WolframInstitute/Rule30PrizeKit's past year of commit activity
Lean
4
15
1
16
Updated Nov 1, 2026
graph_of_graphs
Public
Graph of graphs: Whitehead moves on cubic multigraphs, exact enumeration, field dynamics, and Wolfram notebooks.
WolframInstitute/graph_of_graphs's past year of commit activity
Wolfram Language
1
1
0
0
Updated Nov 1, 2026
Recursor
Public
A universal natural-number DSL for program synthesis and evolution, with lambda compilation and Lean-checked formal semantics.
WolframInstitute/Recursor's past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Nov 1, 2026
MathlibLink
Public
Wolfram Language access to Lean’s mathlib for exact computation and machine-checked proofs
WolframInstitute/MathlibLink's past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Nov 1, 2026
GAPLink
Public
GAPLink connects Wolfram Language to GAP.
WolframInstitute/GAPLink's past year of commit activity
Wolfram Language
0
MIT
0
0
2
Updated Nov 1, 2026
LeanLink
Public
Wolfram Language interface for Lean 4 proof assistant
WolframInstitute/LeanLink's past year of commit activity
Wolfram Language
8
4
0
3
Updated Nov 1, 2026
InfraElements
Public
An infrageometric implementation of Euclid's Elements
WolframInstitute/InfraElements's past year of commit activity
Wolfram Language
0
MIT
1
0
0
Updated Nov 1, 2026
InfraCausality
Public
Causal structure and special relativity on finite directed graphs
WolframInstitute/InfraCausality's past year of commit activity
Wolfram Language
1
MIT
2
0
0
Updated Nov 1, 2026
WolframInstitute/InfraUniverseRegistry's past year of commit activity
Wolfram Language
1
MIT
1
0
0
Updated Nov 1, 2026
InfraGeometry
Public
Geometry as effective description of large graphs
WolframInstitute/InfraGeometry's past year of commit activity
Wolfram Language
3
MIT
2
1
0
Updated Nov 1, 2026
Most used topics
Loading…
You can’t perform that action at this time.
