formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Repository Index
47,133 repositories indexed
25–33 of 33 · Most stars
Nice category that adds the ability to set the retry interval, retry count and progressiveness.
This repo is the official implementation of "F2G-Pose: Geometry-Aware Foundation Feature Lifting for Direct RGB-D Category-Level Object Pose Estimation".
pure functional and generic programming for Erlang
- foldable
- traversable
- erlang
- lenses
A Go (golang) package providing high-performance asynchronous logging, message filtering by severity and category, and multiple message targets.
Module to disable OpenSearch/Elasticsearch in Magento2. Disable also fulltext indexing for category search.
A curated list of the best Vegetation Index papers by category
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]