Formally verified Holland's Canonical Genetic Algorithm

Components of Optimization

Relation algebra library for Coq

A Probability Theory Library for the Coq Theorem Prover

A simple ebook reader for Elementary OS

Brain sensing headband experiment to model positive and negative emotional patterns using smart algorithms and the Muse API.

Realtime classification of active or mindfulness state using Muse on Android.

coq experiments, examples from tutorials, etc.

Main repository for Harvard CS260r 2017.

Browse current file in openstack cgit.

A curated list of awesome Coq frameworks, libraries and software.

An Emacs package for showing a buffer page-by-page, intended for presentations and live coding.

Streamline your Beamer presentations with our Org mode Beamer Refcard. Download now for quick reference and enhanced productivity. #orgmode #beamer #referencecard #productivity

Transpose windows arrangement in a frame

A Coq tactic for proving multivariate inequalities using SDP solvers

A quantum circuit language and formal verification tool

Randomized Property-Based Testing Plugin for Coq

A folding minor mode for Emacs

Add/Change/Delete pairs based on `expand-region', similar to `evil-surround'.

Simple library for asynchronous processing in Emacs

Emacs minor mode for entering unicode math symbols

*Frictionless* blogging with Org Mode. No setup required.

Monadic effects and equational reasoning in Rocq

A JavaScript development environment for Emacs

Improved JavaScript editing mode for GNU Emacs

Prototype-based Emacs Lisp object system

Easy base conversion in emacs

Mathematical Components compliant Analysis Library

Multiple cursors for emacs.