pancy's Projects
Real-time web and sound server on Raspberry Pi
A fork from cloud-polymer-go
Cocoa/Objective-C bindings for the Rust programming language
Best-practices and coding conventions for the CoffeeScript programming language
Study guide to the "Comet" book with code examples in Rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Minimal Vagrantfile for CoreOS
Lightweight Rust VM for the COBOL programing language
Lecture notes for Coursera's cryptocurrency course
BerkeleyX: CS169.1x Engineering Software as a Service assignments and course related stuff
My personal CV site
Dalvik parser in pure Rust.
The Standard DAO Framework, including Whitepaper
Scaffolding for a dapp built on Solana
Repo used in conjunction to learning Data Science Toolbox on Coursera
The Leek group guide to data sharing
Discover the world of microcontrollers through Rust!
Code from Django's official tutorial
***WIP**** š¤ š Documentation website for the libp2p project. https://docs.libp2p.io/
(NOTE! This has not been updated since Elm 0.15.1 and is not using current best practices. I plan to circle back to it in Spring 2017 and bring it up to standards.) Streamlined long-form writing software. Written in Elm.
Finite field and elliptic curve implementation
Web app consisting my mockups on Edlab's projects
Lessons about the Elixir programming language
Server and client code for the Elm website.
A REPL for Elm
Exercise code for Eloquent JavaScript Book
Avro support for Erlang/Elixir (http://avro.apache.org/)
Ethereum opcodes and instruction reference
All the examples in Real World OCaml