Pinned Repositories
CQL
Categorical Query Language IDE
cva
Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL
faisceau
Cellular sheaves for F#
Higher
A lightweight library of abstractions for Higher-kinded programming in F#
hopf-fibration
Interactive demonstration of the Hopf fibration
icfem23-proofs
nasosev.github.io
ramics23-proofs
topos-tool
Computational tool for tiny presheaf topoi
voronoi-hex
Hex on a Voronoi board, using homology to determine game state
nasosev's Repositories
nasosev/faisceau
Cellular sheaves for F#
nasosev/hopf-fibration
Interactive demonstration of the Hopf fibration
nasosev/topos-tool
Computational tool for tiny presheaf topoi
nasosev/cva
Concurrent Valuation Algebras (CVAs) formalised in Isabelle/HOL
nasosev/voronoi-hex
Hex on a Voronoi board, using homology to determine game state
nasosev/CQL
Categorical Query Language IDE
nasosev/Higher
A lightweight library of abstractions for Higher-kinded programming in F#
nasosev/icfem23-proofs
nasosev/nasosev.github.io
nasosev/ramics23-proofs
nasosev/SheafSystem
The SheafSystem™ suite of data representation and management tools is based on our patented sheaf data model. The SheafSystem™ uses advanced mathematics - posets, lattices, sheaves, and fiber bundles - to revolutionize the handling of the complex, structure rich data sets of scientific computing. SheafSystem™ tools make it easy to construct, manipulate, store, retrieve, and inter-operate diverse representations of physical data.
nasosev/SheafSystemProgrammersGuide
A programmer's guide for the SheafSystem™, with code examples.
nasosev/SheafSystemTest
Test Suite for the SheafSystem™
nasosev/Specware
Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.