Noon van der Silk's Projects
Free variable writing fonts from iA
Summaries of papers related to top quark physics. (Assignments from my top quark seminar)
Turning an IBM Wheelwriter into a unique printer
improved colored diff
Lattice iCE40 Primitive IP
A couple of simple test programs for iCE40 FPGAs.
🍦 Never use print() to debug again.
A cross-platform GUI library for Rust, inspired by Elm
Icepeak is a fast JSON document store with push notification support.
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)
IceStorm Synthesis Server (Node.js) and Command-Line Client (Python)
List of ICFP'13 accepted papers, with links to preprint or additional information when available
Accepted papers for ICFP 2014
Canopy blog data that powers ICFP liveblog
ICFP Contest 2016
A streaming query language.
Client-side structure viewer
IPython-style interaction for Cryptol
The easy-to-use OpenStreetMap editor in JavaScript.
Enso – a visual and textual functional programming language.
Haskell IDE plugin for Atom editor - https://atom.io/packages/ide-haskell
various ideas
Implementation of cryptographic primitives using Idris
Types for crypto
Collection of Idris tests and demonstration programs
A Dependently Typed Functional Programming Language
Math related to finite set and vectors, in Idris
Various Free-X experiments