finite-sets

There are 0 repository under finite-sets topic.

math-comp / finmap
Finite sets, finite maps, multisets and generic sets
coq ssreflect mathcomp finite-sets
Language:Coq 46
arthuraa / extructures
Finite sets and maps for Coq with extensional equality
coq mathcomp ssreflect finite-sets
Language:Coq 30
homalg-project / FinSetsForCAP
The elementary topos of (skeletal) finite sets
elementary-topos finite-sets
Language:GAP 4
ak7n14 / The-bark-of-the-hound-language
programming-language finite-sets lexer parser functional-programming
Language:OCaml 1
dfirsov / agda-noetherianness
Variations on Noetherianness
dependent-types finite-sets functional-programming type-theory
Language:Agda 0
dfirsov / agda-programming-with-finite-sets
Dependently Typed Programming with Finite Sets
agda dependent-types finite-sets functional-programming type-theory
Language:Agda 0
timgarvin / Students-Enroller_-_Array-Version
A Students Enrollment system using a Finite Set data structure represented as an Array.
c-plus-plus linux finite-sets array putty winscp arrays
Language:C++ 0
timgarvin / Students-Enroller_-_Hash-Table-Version
A Students Enrollment system using a Finite Set data structure represented as a Hash Table.
c-plus-plus linux hash-table finite-sets data-structure putty winscp data-structures hash-tables
Language:C++ 0
timgarvin / Students-Enroller_-_Database-Tables-Version
A Students Enrollment system using a Finite Set data structure represented as Database Tables.
c-plus-plus linux database tables rows finite-sets linked-list putty winscp data-structure data-structures databases linked-lists
Language:C++