idris-ct
Category theory library
A formally verified category theory library written in Idris
formally verified category theory library
259 stars
20 watching
23 forks
Language: Idris
last commit: over 4 years ago
Linked from 1 awesome list
category-theoryformal-proofsformal-verification
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
| statebox/cql | A Haskell implementation of a functional query language that allows declarative specification and analysis of data transformations | 163 |
 amintimany/categories | An implementation of category theory in the Coq proof assistant. | 94 |
 jwiegley/category-theory | An axiomatic formalization of category theory in Coq for personal study and practical work | 758 |
 uncomplicate/fluokitten | A Clojure library implementing category theory concepts for functional programming | 468 |
 jcouyang/cat.js | A JavaScript implementation of category theory concepts with various monad and functor classes. | 15 |
 jameshaydon/lawvere | A programming language with effects based on category theory and used to compile programs into various categorical abstractions. | 267 |
 dmxlarchey/kruskal-finite | Tools for determining and working with finite data structures in a proof assistant. | 0 |
 ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 163 |
 qmuntal/stateless | A Go library for creating finite state machines directly in code | 973 |
 funcool/cats | Provides higher-order abstractions for category theory and algebraic structures in Clojure and ClojureScript. | 943 |
 davidedc/algebrite | A JavaScript library for symbolic mathematics and algebraic computation. | 968 |
 dapphub/k-dss | Formal specification and verification of a specific smart contract function. | 45 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 366 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 443 |
 dedis/kyber | A comprehensive cryptographic toolkit for Go developers | 645 |