idris-ct
by statebox
formally verified category theory library
AI summary
Category theory library
A formally verified category theory library written in Idris
- stars
- 259
- forks
- 23
- watching
- 20
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Query language
A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations
Category theory formalization
An implementation of category theory in the Coq proof assistant.
Category theory library
An axiomatic formalization of category theory in Coq for personal study and practical work
Category theory library
A Clojure library implementing category theory concepts for functional programming
Category Theory Library
A JavaScript implementation of category theory concepts with various monad and functor classes.
Category-based compiler
A programming language with effects based on category theory and used to compile programs into various categorical abstractions.
Data analysis tools
Tools for determining and working with finite data structures in a proof assistant.
ekmett/hask163
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
State machine library
A Go library for creating finite state machines directly in code
funcool/cats944
Category framework
Provides higher-order abstractions for category theory and algebraic structures in Clojure and ClojureScript.
Symbolic math library
A JavaScript library for symbolic mathematics and algebraic computation.
Contract verification tool
Formal specification and verification of a specific smart contract function.
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
dedis/kyber646
Crypto library
A comprehensive cryptographic toolkit for Go developers
Featured in 1 awesome list
Each link jumps to the spot where the list mentions idris-ct.
