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 48 repositories
PacletPage
Public
Build and publish a paclet's documentation, from markdown to a published paclet with its documentation site
WolframInstitute/PacletPage's past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Nov 6, 2026
TypeTheory
Public
A proof engine for the Calculus of Inductive Constructions, written in the Wolfram Language
WolframInstitute/TypeTheory's past year of commit activity
Wolfram Language
0
0
0
0
Updated Nov 6, 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 6, 2026
LeanLink
Public
Wolfram Language interface for Lean 4 proof assistant
WolframInstitute/LeanLink's past year of commit activity
Wolfram Language
8
4
0
0
Updated Nov 6, 2026
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
24
Updated Nov 5, 2026
BioDataLink
Public
Connecting biological data to the computational power of Wolfram Language.
WolframInstitute/BioDataLink's past year of commit activity
Wolfram Language
0
MIT
0
0
0
Updated Nov 5, 2026
WolframInstitute/HypergraphRewritingEngine's past year of commit activity
C++
9
MIT
3
0
0
Updated Nov 5, 2026
GAPLink
Public
GAPLink connects Wolfram Language to GAP.
WolframInstitute/GAPLink's past year of commit activity
Wolfram Language
0
MIT
0
0
3
Updated Nov 5, 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 4, 2026
InfraGeometry
Public
Geometry as effective description of large graphs
WolframInstitute/InfraGeometry's past year of commit activity
Wolfram Language
3
MIT
3
1
0
Updated Nov 2, 2026
Most used topics
Loading…
You can’t perform that action at this time.
