Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
73–96 of 99 · Most stars
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
Crystal binding for LevelDB
- crystal
- leveldb
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Parser and printer for date-times in ISO8601
- ocaml
- iso8601
- datetime
- parser
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
🇪🇺 Resources and Learning Games for European Romance Language Communication
- language
- romance-languages
- language-learning
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Backport for type hinting generics in standard collections and union types as X | Y
Go option and result types that optionally contain a value
- golang
- option
- result
- error
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Advanced UNIX Terminal UI Ada Binding Package
- curses
- curses-library
- tui
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Ada bindings of Turbo Pascal 7.0 units with Gnoga.