Popular repositories Loading

1. the-power-of-pi the-power-of-pi Public

   Forked from yurrriq/the-power-of-pi

   Implementations of ideas in The Power of Pi.

   Idris 2

2. nrf5x-dk-gcc nrf5x-dk-gcc Public

   Forked from rbarzic/nrf5x-dk-gcc

   A example of nRF51-DKnRF52-DK application using gcc on Linux

   Makefile 1

3. KATARA-Microfluidics-Controller KATARA-Microfluidics-Controller Public

   Forked from jonathanawhite1381/KATARA-Microfluidics-Controller

   An open source controller for large scale integration. See http://www.biorxiv.org/content/early/2017/09/14/188615

   Python 1

4. hdph-rs hdph-rs Public

   Forked from robstewart57/hdph-rs

   HdpH-RS is a reliable scheduling extension to HdpH, a Haskell-embedded DSL for scalable distributed computing.

   Haskell 1

5. revocable-self-signed-tls-certificates-hack revocable-self-signed-tls-certificates-hack Public

   Forked from ChristopherA/revocable-self-signed-tls-certificates-hack

   As a proof-of-concept, we will show how easy it is to revoke a self-signed certificate using the bitcoin blockchain. This will also demonstrate how we may be able to use similar approaches for more…

   CoffeeScript

6. captable captable Public

   Forked from dbinetti/captable

   Create and manage capitalization tables. Example at:

   Python