Noon van der Silk's Projects
A sample project for using Capstone from a driver in Visual Studio 2015
because your CSS is garbage
Convert your CSV files into Markdown tables.
An experimental library for Cubical Agda
Experimental implementation of Cubical Type Theory
Cubism.js: A JavaScript library for time series visualization.
a graph-theoretic proof-of-work system
what am i currently doing? cupduck can tell you!
Example of the Curry Howard isomorphism
CurveCP protocol implementation in pure Javascript
A Python-embedded modeling language for convex optimization problems.
First it steals.. Then it jettisons.
strongly typed dbus client library
Compute contour polygons using marching squares.
Compute the Voronoi diagram of a set of two-dimensional points.
Pre-render d3 visualizations
Visualize flow between nodes in a directed acyclic network.
Data-Driven Declarative Documents
Parameterized ergonomic keyboard
Dadaist is a tool for randomly generating short stories, perhaps for Twitter
Dafny is a verification-aware programming language
Open source recreation of Daggerfall in the Unity engine
Directed graph renderer for javascript
Lisp-flavoured C
Don't be shy - take your data for a dance.
The Dance Booth! :dancer:
Dance Revolution: Long-Term Dance Generation with Music via Curriculum Learning
View poses coming out of pose estimation networks.