wisnesky

Applied category theorist

Conexus AISan Francisco, CA

Pinned Repositories

APG
Coq Implementation of Algebraic Property Graphs
Language:Coq9 10 32
categoricaldata.github.io
For configuring GitHub pages
Language:HTML1 8 00
CQL
Categorical Query Language IDE
Language:Java303 30 8124
FQL
Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
Language:Java10 9 01
hydra
Transformations transformed
Language:Java79 10 12510
awesome-applied-ct
ACT community resources
467 53 125
cql
CQL: Categorical Query Language implementation in Haskell
Language:Haskell168 26 8715
wisnesky.github.io
Language:Coq1 5 00