Repository Index

Python interface for igraph

• complex-networks
• graph-algorithms
• graph-theory
• mathematics

A Coq library for Homotopy Type Theory

• type-theory
• homotopy-type-theory
• univalent-foundations

Category Theory and Algebraic abstractions for Clojure and ClojureScript.

An axiom-free formalization of category theory in Coq for personal study and practical work

• category-theory
• coq
• monad
• profunctor

🏹 Bow is a cross-platform library for Typed Functional Programming in Swift

• functional-programming
• category-theory
• functor
• monad

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq

An opinionated F# Library for error handling

• fsharp
• error-handling
• railway-oriented-programming
• category-theory

Category theory concepts in Clojure - Functors, Applicatives, Monads, Monoids and more.

• clojure
• category-theory
• clojure-library
• monad

formally verified category theory library

• category-theory
• formal-verification
• formal-proofs

IGraph/M is the igraph interface for Mathematica

• igraph
• mathematica
• mathematics
• network-graph

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

The Penn Locally Nameless Metatheory Library

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

Coq library on rewriting theory and termination

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm