Repository Index

Ada-bindings for 0mq

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

An interpreter for C flat, a music-based programming language

Ada bindings for the MQTT broker mosquitto.

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm