Pinned Repositories
CFGV
A generic library for reasoning about languages with binders
decoding-human-body
blog
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
paramcoq
Coq plugin for parametricity
paramcoq-iff
ROSCoq
Robots powered by Constructive Reals
scene_labelling_rgbd
semantically labels kinect pointclouds
SquiggleEq
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
aa755's Repositories
aa755/paramcoq
Coq plugin for parametricity
aa755/CFGV
A generic library for reasoning about languages with binders
aa755/SquiggleEq
aa755/EVMOpSemCoq
EVM operational semantics in Coq
aa755/decoding-human-body
blog
aa755/midea-msmart
This is a library to allow communicating to a Midea AC via the Local area network.
aa755/CastScreen
Cast Android screen via WiFi or USB with low latency
aa755/company-coq
A Coq IDE build on top of Proof General's Coq mode
aa755/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.
aa755/lemcoqlib
porting an old version of lem coq lib to compile Yoichi's EVM semantics
aa755/bbv
Bedrock Bit Vector Library
aa755/BRiCk
Formalization of C++ for verification purposes.
aa755/brother-scand
Network driver for Brother scanner devices. Daemon for press-to-scan functionality.
aa755/coq-ext-lib
A library of Coq definitions, theorems, and tactics.
aa755/coq-lens
Lenses in Coq
aa755/crypto-reading-list
aa755/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
aa755/foscam-python-lib
Foscam Python Library for H.264 IP Cameras (FI9821W/P/HD816W/P)
aa755/frap
Formal Reasoning About Programs
aa755/gnirehtet
Gnirehtet provides reverse tethering for Android
aa755/InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
aa755/iris-coq
a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/
aa755/midea-ac-lib
Library for controlling Midea AC devices via their cloud
aa755/midea-ac-py
This is a library to allow communicating to a Midea appliance via the Midea cloud.
aa755/openai-ocaml
OCaml bindings for OpenAI API
aa755/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.
aa755/pgissuedocker
aa755/sail-arm
Sail version of ARM ISA definition, currently for ARMv8.5-A
aa755/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
aa755/usps-passport-appointment-locator