rafoo

trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

michelson-semantics

A K semantics of Tezos' Michelson language.

coq-of-ocaml

Formal verification for OCaml

ligo-training

smart-contract-languages

A curated collection of resources on smart contract programming languages

Sukerujo

Syntactic sugar for Dedukti

inductor

Prototype implementation of a proof search algorithm for inductive predicate entailments.

Dedukti

Implementation of the λΠ-calculus modulo rewriting

verifast-mode

A major Emacs mode for VeriFast proof development (*.gh files)

zipperposition

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

thefuck

Magnificent app which corrects your previous console command.

verifast

Research prototype tool for modular formal verification of C and Java programs

ada-traits-containers

Generic Ada Library for Algorithms and Containers

digsby

Digsby = IM + Email + Social Networks

preparen

Latex package for pretty-printing precedence parentheses

files_latexeditor

File Latex Editor/compiler APP for OwnCloud 4.5x and above

emacs-xkcd

Read xkcd from Emacs

flycheck

On the fly syntax checking for GNU Emacs

camelide

An interpreter for Dedukti written in OCaml.

ocaml-chord

[unfinished] Chord DHT implementation in OCaml (not production-ready)

wicd-mode.el

Client for the Wicd network connection manager written in Emacs Lisp