sorceressofmathematics's repositories
After-Sight-Model-1
Repository for Code/PCB design/3D printed models/Assembly Guide for the After Sight Model 1. go to after-sight.com for additional information
bionic-dancer
Wearable device capable of generating music from dance movements
bottlenose
Bottlenose Source Code
darkleaks
Decentralised Information Black Market
fabfi
Automatically exported from code.google.com/p/fabfi
hello-scaloid-sbt
This is a "Hello, world" for Scaloid with sbt.
Homotopy
Homotopy theory in Coq.
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
intuitionistic
Intuitionistic Programming Language
libreRPA
An Open Source and Free tool for robotics process automation like BluePrism
mist
Mist browser
neurorighter
Closed Loop, Open Source Electrophysiology
p2pool
Peer-to-peer Bitcoin mining pool
psopt
Automatically exported from code.google.com/p/psopt
randao
RANDAO: A DAO working as RNG of Ethereum
raspivoice
Make "The vOICe" run on the Raspberry Pi.
whisper-payment-channel
Sample payment channel using whisper