armael Goto Github PK

actuary

Formalization of the basic actuarial mathematics using Coq

aoc

armael.github.io

autowt

Use at your own risk

background-backup

batoptparse_example

An example illustrating the use of BatOptParse for command-line option parsing

batteries-included

Batteries Included project

bibtex2html

brainfuck

Brainfuck formalized in Coq

brr

Browser programming toolkit for OCaml

calculon

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

canopy

A git-blogging unikernel written using MirageOS

cdcl

conch

contruno

A TLS termination proxy as a MirageOS

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

coq-label

Labels for Coq

coq-procrastination

A small Coq library for collecting side conditions and deferring their proof

coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

crowbar

Property fuzzing for OCaml

cumulus

A friendly and minimalist link sharing website

deque

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

dmlenu

a clone of dmenu written in OCaml.

doggybag

take-away binaries

dp-sat

A SAT-solver based on the Davis Putnam algorithm

dune

A composable build system for OCaml

dune-release

Streamlining the release of dune packages to opam

dwl

dwm for Wayland