idris-ct

Category theory library

A formally verified category theory library written in Idris

formally verified category theory library

GitHub

259 stars
20 watching
23 forks
Language: Idris
last commit: about 6 years ago
Linked from 1 awesome list

category-theoryformal-proofsformal-verification

Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
statebox/cqlA Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations163
amintimany/categoriesAn implementation of category theory in the Coq proof assistant.94
jwiegley/category-theoryAn axiomatic formalization of category theory in Coq for personal study and practical work759
uncomplicate/fluokittenA Clojure library implementing category theory concepts for functional programming468
jcouyang/cat.jsA JavaScript implementation of category theory concepts with various monad and functor classes.15
jameshaydon/lawvereA programming language with effects based on category theory and used to compile programs into various categorical abstractions.268
dmxlarchey/kruskal-finiteTools for determining and working with finite data structures in a proof assistant.0
ekmett/haskCategory theory for Haskell with a strong lens-like flavor.163
qmuntal/statelessA Go library for creating finite state machines directly in code981
funcool/catsProvides higher-order abstractions for category theory and algebraic structures in Clojure and ClojureScript.944
davidedc/algebriteA JavaScript library for symbolic mathematics and algebraic computation.973
dapphub/k-dssFormal specification and verification of a specific smart contract function.45
typedefs/typedefsA language-agnostic way to define algebraic data types using polynomials.367
princetonuniversity/vstA collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant444
dedis/kyberA comprehensive cryptographic toolkit for Go developers646