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 32 repositories
UniversalityDB
Public
A formally verified knowledge graph of computational universality proofs
WolframInstitute/UniversalityDB’s past year of commit activity
Lean
1
0
0
0
Updated Jul 7, 2026
WolframInstitute/SyntheticInfrageometry’s past year of commit activity
Wolfram Language
2
0
0
0
Updated Jul 5, 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++
6
MIT
2
1
1
Updated Jul 3, 2026
WolframInstitute/TuringMachine’s past year of commit activity
Wolfram Language
3
0
0
0
Updated Jul 3, 2026
WolframInstitute/Hypergraph’s past year of commit activity
Wolfram Language
10
MIT
2
4
0
Updated Jul 3, 2026
MarkdownToNotebook
Public
Convert literate markdown into Wolfram notebooks: documentation pages, resource definition notebooks, or plain notebooks, from a Template frontmatter key
WolframInstitute/MarkdownToNotebook’s past year of commit activity
Wolfram Language
0
0
7
0
Updated Jul 3, 2026
WolframInstitute/InfraGaugeTheory’s past year of commit activity
Wolfram Language
0
0
0
0
Updated Jul 2, 2026
InfraAnalysis
Public
Wolfram Language paclet for analysis on directed graphs
WolframInstitute/InfraAnalysis’s past year of commit activity
Wolfram Language
0
0
0
0
Updated Jul 2, 2026
InfraCausality
Public
Causal structure and special relativity on finite directed graphs
WolframInstitute/InfraCausality’s past year of commit activity
Wolfram Language
0
0
0
0
Updated Jul 2, 2026
WolframInstitute/Infrageometry’s past year of commit activity
Wolfram Language
6
1
0
0
Updated Jul 2, 2026
Most used topics
Loading…
You can’t perform that action at this time.
