Noon van der Silk's Projects
Simulations of random unitary circuits using CPTP maps
A Livecoding Playground for Room-Scale VR
Robot controller and video scripts
a safe, concurrent, practical language
A (mostly) pure-Rust implementation of various cryptographic algorithms.
Converts floating point numbers to decimal strings
Fast, concurrent, streaming access to Amazon S3, including gof3r, a CLI. http://godoc.org/github.com/rlmcpherson/s3gof3r
An elegant Go board and SGF editor for a more civilized age.
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
An extension to Data.Serialize with built-in version control
The goal of the SageMath Cloud project is to create a viable way to do computational mathematics collaboratively online.
Sail RISC-V model
Using the power of computers to find neat sailboats
TypeSafe Interpreters for Free
Cryptography that's easy to digest (NaCl/libsodium bindings)
Sample site for the blog post examples
Small random demonstrations of code
Creative cellular automata browser game
Yet another test framework for Haskell.
:earth_americas: Ready-to-use multi-layer topojson files
Async Python 3.5+ web server that's written to go fast
Source for the Sans Bullshit Sans font
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Formally prove properties of Haskell programs using SBV/SMT.
An extension to the core Scala library for functional programming.
It's peanut butter jelly time.