Popular Coq Topics

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

coq

ssreflect

Distributed Systems

Distributed Computing
Stream Processing
Actors

Formal Verification

mathcomp

coq-library

Proof

isabelle
sel4-proofs
formalisation

proof-assistant

bluespec

Verification

deductive-reasoning
witness
satisfiability

Compiler

Optimization
Lisp
Macros

verdi

type-theory

homotopy-type-theory
univalent-foundations
idris

coq-ci

Consensus

Decred
Casper
proof-of-space

Formal Methods

Blockchain

Decentralized
Protocol
Cardano

hardware-description-language

separation-logic

Dependent Types

interactive-theorem-proving
proof-languages
prover

docker-coq-action

Systemverilog

doubly-linked-list

fpga-soc

real-number

foundations

machine-learning-api

JSON

Config
Protobuf
High Performance

Mathematics

collatz
collatz-conjecture
polynomial-arithmetic

Ocaml

proof-assistant
theorem-proving
mirageos

Control

Foldl
Deepseq
Ref

theorem-proving

formal-semantics
homotopy
icml-2019

Language

Anki
Elm
language-learning

Compiler Plugin

sourcemod-plugin
data-class
kotlin-plugin

Axi4

unimath

semantics

bluespec

Key-Value

lsm-tree
Skiplist
mvcc

Specifications

high-level-synthesis

Generic

astar-algorithm
aaf
allocation

Raft

coq
consensus-protocol
availability

Comonads

univalent-foundations

Assembler

wishbone
wishbone-bus
8080

riscv-cpu

Rv32i

compilation

distributed-builds
lsf-jobs
sun-grid-engine

Analysis

Prusaslicer
medical-physics
systemd-unit

programming-languages

argentina
programming-language-development
scheme-interpreter

Fpga

analogue-pocket
registers
systemrdl-compiler

Linearscan

Urn

crossbar