aa755 Goto Github PK

aa755.github.io

this may someday be my new homepage

bbv

Bedrock Bit Vector Library

ble-sensor-pi

Simple example for SensorTag with RaspberryPi a Bluetooth Low Engery (BLE GATT) device

brother-scand

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

castscreen

Cast Android screen via WiFi or USB with low latency

ceps

Coq Enhancement Proposals

cfg3d

cfgv

A generic library for reasoning about languages with binders

company-coq

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

compcert

Fork of http://compcert.inria.fr/

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-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

coqqueryhttpserver

An HTTP server that answers Coq queries like Print, Locate by talking to coqtop

corn

decoding-human-body

blog

eclipsefp

EclipseFP, the Haskell plug-in for Eclipse

flux_led

A utility for controlling Flux WiFi Smart LED Light Bulbs

foscam-python-lib

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

frap

Formal Reasoning About Programs

fstar

An ML-like language with a type system for program verification

garmin-connect-export

Download a copy of your Garmin Connect data, including stats and GPX tracks.

gitim

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

gnirehtet

Gnirehtet provides reverse tethering for Android

home-assistant

:house_with_garden: Open-source home automation platform running on Python 3

home-assistant.github.io

:blue_book: Jekyll project to generate home-assistant.io

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/

kopitiam

eclipse plugin to support side-by-side proofs and code