adamnemecek's starred repositories
pgvecto.rs
Scalable, Low-latency and Hybrid-enabled Vector Search in Postgres. Revolutionize Vector Search, not Database.
agda-software-foundations
Porting of software foundations book to Agda
trace-monoids
Trace monoids in Cubical Agda
SequenceAlgebra
Code from the paper "In Praise of Sequence (Co-)Algebra and its implementation in Haskell" by K. Clenaghan.
swifty-tracktion-engine
A swift package that wraps Traction Engine (C++).
FSymbolsFromModules
Accompanying code for 'Computing associators of endomorphism fusion categories'.