Cobord
Follow
-
hydra Public
Forked from CategoricalData/hydraTransformations transformed
Java Apache License 2.0 UpdatedJan 10, 2025 -
BookDrafts Public
Drafts of textbooks. One on the math inspired by supersymmetric field theories. One on low dimensional (below 3+1) integrable physics.
-
-
-
-
-
-
-
melior Public
Forked from mlir-rs/meliorThe rustic MLIR bindings in Rust
Rust Apache License 2.0 UpdatedDec 13, 2024 -
homological Public
Homological Algebra
-
OpenVQE Public
Forked from OpenVQE/OpenVQEQuantum computing algorithms and applications package. Please check our article https://doi.org/10.1002/wcms.1664. Do you want to contribute? Fork the project, create a pull request directed to the…
Python MIT License UpdatedNov 23, 2024 -
pyuvdata Public
Forked from RadioAstronomySoftwareGroup/pyuvdataA pythonic interface for radio astronomy interferometry data (uvfits, miriad, others)
Python BSD 2-Clause "Simplified" License UpdatedOct 27, 2024 -
-
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…
-
-
bbqvec Public
Forked from barakmich/bbqvecScalable Embedded Vector Index for Go and Rust
Rust Apache License 2.0 UpdatedOct 10, 2024 -
Plabic Public
Cluster algebraic/geometric structures related to plabic graphs
-
-
-
interaction-combinators Public
Forked from eduhenke/interaction-combinatorsAgda UpdatedSep 9, 2024 -
HIF_validators Public
Forked from pszufe/HIF-standardHypergraph Exchange Format (HIF) definition and validator libraries
Python MIT License UpdatedSep 3, 2024 -
SpecialPointIteration Public
Points (who after a possible simple change of coordinates) have coordinates which are a/b^d for small fixed b
Python GNU General Public License v3.0 UpdatedAug 29, 2024 -
rust-commandline-example Public
Forked from zupzup/rust-commandline-exampleExample for building a command line application using Rust
Rust Apache License 2.0 UpdatedAug 28, 2024 -
CrabStructor Public
Forked from europeDreadlyDevil/CrabStructorSimple constructor generator for named structures
Rust Apache License 2.0 UpdatedAug 25, 2024 -
-
fast_polynomial Public
Forked from novacrazy/fast_polynomialFaster Polynomial Evaluation via Estrin's Scheme
Rust MIT License UpdatedJul 30, 2024 -
OwnershipWorkaround Public
For problems related to multiple objects having access to the same iterator or closure
Python GNU General Public License v3.0 UpdatedJul 23, 2024 -
-
-
pcode2c Public
Forked from philzook58/pcode2cConvert low ghidra pcode to verifiable C
Jupyter Notebook UpdatedMay 20, 2024