Popular Coq Topics

Browse LibHunt's top topics to find your best library options.

coq

Formal Verification

mathcomp

Distributed Systems

peer-to-peer
Distributed Computing
Stream Processing

coq-library

ssreflect

Proof

isabelle
sel4-proofs
formalisation

Verification

deductive-reasoning
witness
cnf

Formal Methods

proof-assistant

bluespec

Compiler

Optimization
Lisp
Macros

separation-logic

type-theory

homotopy-type-theory
univalent-foundations
interactive-theorem-proving

hardware-description-language

verdi

Dependent Types

Agda
aya
proof-languages

Blockchain

Solidity
smart-contracts
Decentralized

coq-ci

Cryptography

password-manager
Hash
end-to-end-encryption

Consensus

Decred
proof-of-space
Bls

machine-learning-api

Mathematics

calc
collatz
collatz-problem

JSON

Protobuf
High Performance
Encoding

Ocaml

theorem-proving
Bigdecimal
Bqn

theorem-proving

formal-semantics
homotopy
icml-2019

Control

Foldl
Deepseq
Lifted

formal-specification

Language

Anki
Fun
Japanese

Compiler Plugin

sourcemod-plugin
kotlin-plugin
data-class

unimath

semantics

bluespec

Key-Value

bsd-3-clause
redis-streams
replacement

high-level-synthesis

Specifications

Generic

astar-algorithm
aaf
type-level

Raft

coq
availability
Dbaas

Comonads

univalent-foundations

compilation

distributed-builds
lsf-jobs
sun-grid-engine

programming-languages

argentina
file-formats
programming-language-development

Analysis

Prusaslicer
medical-physics
Density

Linearscan

Urn

stalin-sort

interactive-theorem-proving

AWS

Infrastructure
infrastructure-as-code
Ecs

homotopy-type-theory

systems-programming

Iris

spaceweather

Protocol

minecraft-bedrock-edition
Browsers
viaversion

C

Lua
Shell
Language

RegExp

Core Extensions
Indexed
high-level

Hardware

Hdl
U2f
Hackrf

Did you know that Coq is
the 74th most popular programming language
based on number of references?

Loading...