aa755

paramcoq

Coq plugin for parametricity

CFGV

A generic library for reasoning about languages with binders

SquiggleEq

decoding-human-body

blog

midea-msmart

This is a library to allow communicating to a Midea AC via the Local area network.

CastScreen

Cast Android screen via WiFi or USB with low latency

company-coq

A Coq IDE build on top of Proof General's Coq mode

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.

bbv

Bedrock Bit Vector Library

brother-scand

Network driver for Brother scanner devices. Daemon for press-to-scan functionality.

coq-ext-lib

A library of Coq definitions, theorems, and tactics.

coq-interaction-trees

Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.

coq-lens

Lenses in Coq

foscam-python-lib

Foscam Python Library for H.264 IP Cameras (FI9821W/P/HD816W/P)

frap

Formal Reasoning About Programs

gitim

Clone all of your Github repositories, just single command from your terminal.

gnirehtet

Gnirehtet provides reverse tethering for Android

InteractionTrees

Formalization of the Interaction Tree Datatype in Coq

iris-coq

a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/

midea-ac-lib

Library for controlling Midea AC devices via their cloud

midea-ac-py

This is a library to allow communicating to a Midea appliance via the Midea cloud.

openwrt

This repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins. We will continue to accept Pull Requests here. They will be merged via staging trees then into openwrt.git.

pgissuedocker

platform-blog

Repository for the Platform blog

Raspberry-Pi-Setup-Guide

A really opionionated guide how to setup a Raspberry Pi (1 or 2) with Arch Linux including WiringPi, NTP, Wi-Fi, SSH, Ruby, ZSH and more.

sail-arm

Sail version of ARM ISA definition, currently for ARMv8.5-A

Sensirion_SPS30

Python script to read multiple fine particles (PM1 to PM10) from Sensirion SPS30. The script can work with multiple devices connected to USB hub

template-coq

Reflection library for Coq

usps-passport-appointment-locator

Velisarios