sorceressofmathematics

actor-cpp

Automatically exported from code.google.com/p/actor-cpp

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

bitcash

book

A textbook on informal homotopy type theory

bottlenose

Bottlenose Source Code

darkleaks

Decentralised Information Black Market

fabfi

Automatically exported from code.google.com/p/fabfi

GoedelGod

Formalizations of Gödel's Ontological Proof of God's Existence

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.

Taxeme

A component of the Resilience taxation system.

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

whisper-payment-channel

Sample payment channel using whisper

zCoin

A different approach to the idea of a crypto currency.