Pinned Repositories
Azimuth-Applied-Category-Theory
For Azimuth ACT course
BookDrafts
Drafts of textbooks. One on the math inspired by supersymmetric field theories. One on low dimensional (below 3+1) integrable physics.
HamiltonianLearning
Learn Hamiltonian from Trajectory & Lagrangian Correspondence from in-out data
homological
Homological Algebra
Hypergraph
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, operads and nicely presented monoids
OpenMarkov-PetriNet-RxnNet
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
Plabic
Cluster algebraic/geometric structures related to plabic graphs
polynomial_subspaces
Quantum-Computer-Things
Simple-ODEs
Various ODEs
Cobord's Repositories
Cobord/Hypergraph
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, operads and nicely presented monoids
Cobord/polynomial_subspaces
Cobord/BookDrafts
Drafts of textbooks. One on the math inspired by supersymmetric field theories. One on low dimensional (below 3+1) integrable physics.
Cobord/Plabic
Cluster algebraic/geometric structures related to plabic graphs
Cobord/EventEmit
Cobord/homological
Homological Algebra
Cobord/bbqvec
Scalable Embedded Vector Index for Go and Rust
Cobord/benchify-api
Cobord/clevergpt
Training GPTs to solve interaction nets
Cobord/Clifford_BFS
A Julia library for generating small Clifford circuits that perform input stabiliser transformations with the minimum number of gates.
Cobord/DiningPhilosophers
Cobord/fast_polynomial
Faster Polynomial Evaluation via Estrin's Scheme
Cobord/HIF_validators
Hypergraph Exchange Format (HIF) definition and validator libraries
Cobord/hydra
Transformations transformed
Cobord/interaction-combinators
Cobord/israeli
IsraeliQueue
Cobord/melior
The rustic MLIR bindings in Rust
Cobord/OpenVQE
Quantum 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 alpha branch of the repo.
Cobord/option_ord
Macro for option Ord implemenation
Cobord/pauli_tracker
Cobord/PhysLean
A project to digitalise results from physics into Lean. (formerly called HepLean)
Cobord/pyuvdata
A pythonic interface for radio astronomy interferometry data (uvfits, miriad, others)
Cobord/RetryableResult
Cobord/session-types
Cobord/SpecialPointIteration
Points (who after a possible simple change of coordinates) have coordinates which are a/b^d for small fixed b
Cobord/TakePutBack
Cobord/tensorzero
TensorZero creates a feedback loop for optimizing LLM applications — turning production data into smarter, faster, and cheaper models.
Cobord/TypedUnits
Cobord/Vinci4d
Cobord/zeroknowledge