Ammar Husain's repositories
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
BookDrafts
Drafts of textbooks. One on the math inspired by supersymmetric field theories. One on low dimensional (below 3+1) integrable physics.
Algebraic-Curves-Stuff
Stuff related to elliptic curves, modular forms and zeta functions of curves
ConstraintSatisfaction
Avoid solution recomputation when already solved to few possibilities but then adding extra variables, constraints or combining with another disjoint problem
HilbertScheme
Hilbert Scheme
Identifiable
Bits of entropy for distributions of identifying data (location, add others if data found)
clevergpt
Training GPTs to solve interaction nets
Clifford_BFS
A Julia library for generating small Clifford circuits that perform input stabiliser transformations with the minimum number of gates.
hugr
Hierarchical Unified Graph Representation
instapoker
An in-progress "performance" of the InstaPoker coding exercise, as done with folks from the Boston Software Crafters meetup. (More information in the Readme and Retro files)
israeli
IsraeliQueue
melior
The rustic MLIR bindings in Rust
option_ord
Macro for option Ord implemenation
pcode2c
Convert low ghidra pcode to verifiable C
RaskellRIIR
RIIR
rust-commandline-example
Example for building a command line application using Rust
sd-visualiser
String diagram visualiser
SpecialPointIteration
Points (who after a possible simple change of coordinates) have coordinates which are a/b^d for small fixed b
tket2
Version 2 of the TKET compiler.