Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with finite-maps
A curated list of projects in awesome lists tagged with finite-maps .
https://github.com/coq-community/mmaps
Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]
avl-tree coq docker-coq-action finite-maps red-black-tree
Last synced: 24 Nov 2024
https://github.com/reity/logical
Callable subclass of the tuple type for representing logical operators/connectives based on their truth tables.
boolean-operations boolean-operators finite-maps logic-operations logic-operators logical-operators python-constants python-library python-logic python-operations python-operators
Last synced: 23 Nov 2024
