umazalakain/lightweight-motion

This repository has been archived on 11/Feb/2021
Stars
23
Rank 1,011,040 (Top 21 %)
Language
Python
Created over 11 years ago
Updated almost 9 years ago

umazalakain/lightweight-motion

umazalakain

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Lightweight RPi-ready motion detection for USB and HTTP(S) cameras!

typing-linear-pi

Typing the linear pi calculus in Agda

agda-bcam

Tutorial series introducing Agda to the people at BCAM

errata

Error handling made precise. Because error handling belongs in the types.

qinfluxdb

A little ORM for issuing queries to InfluxDB

session-types-coq

Formalising session types in Coq

fyp

My final year project at the University of Strathclyde

CoContextualPi

intro-pi-calc

a brief introduction to the pi calculus

snorkels-hs

Haskell implementation of Snorkels, a two person strategy board game

aoc-rust

Learning myself some Rust with Aoc '22