Cobord
Follow
-
Algebraeon Public
Forked from pishleback/AlgebraeonAlgorithms in computational algebra written in rust
Rust GNU General Public License v3.0 UpdatedSep 28, 2025 -
hydra Public
Forked from CategoricalData/hydraTransformations transformed
Java Apache License 2.0 UpdatedSep 22, 2025 -
summoner-core Public
Forked from Summoner-Network/summoner-coreSummoner's core SDK for building and deploying agents
Python Apache License 2.0 UpdatedSep 19, 2025 -
-
bitgauss Public
Forked from akissinger/bitgaussFast boolean linear algebra library for Rust
Rust Apache License 2.0 UpdatedSep 11, 2025 -
CatColab Public
Forked from ToposInstitute/CatColabA collaborative environment for formal, interoperable, conceptual modeling
Rust Apache License 2.0 UpdatedAug 30, 2025 -
formal-specification-ide Public
Forked from atlas-computing-org/formal-specification-ideTypeScript Other UpdatedAug 27, 2025 -
-
cova Public
Forked from harnesslabs/covaAbstract mathematics made computational
Rust GNU Affero General Public License v3.0 UpdatedAug 27, 2025 -
melior Public
Forked from mlir-rs/meliorThe rustic MLIR bindings in Rust
Rust Apache License 2.0 UpdatedAug 27, 2025 -
Forte Public
Forked from NthTensor/ForteAn async-compatible thread-pool written in rust.
Rust Apache License 2.0 UpdatedAug 27, 2025 -
PhysLean Public
Forked from HEPLean/PhysLeanA project to digitalise results from physics into Lean.
Lean Apache License 2.0 UpdatedAug 27, 2025 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 27, 2025 -
-
-
Plabic Public
Cluster algebraic/geometric structures related to plabic graphs
-
TypeSafe_Tensors Public
Forked from bgavran/TensorTypeFramework for type-safe pure functional tensor processing, supporting non-cubical tensors
Idris UpdatedAug 15, 2025 -
treeclocks Public
Forked from byronwasti/treeclocksInterval Tree Clocks & Extensions
Rust Apache License 2.0 UpdatedAug 4, 2025 -
-
-
-
fast_polynomial Public
Forked from novacrazy/fast_polynomialFaster Polynomial Evaluation via Estrin's Scheme
Rust MIT License UpdatedMay 27, 2025 -
Hypergraph Public
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, op…
-
-
interaction-combinators Public
Forked from eduhenke/interaction-combinatorsAgda UpdatedApr 18, 2025 -
-
homological Public
Homological Algebra
-
FlowMatching Public
Forked from finnsherry/FlowMatchingTesting flow matching in Euclidean space and Lie groups.
Jupyter Notebook MIT License UpdatedApr 10, 2025 -