Noon van der Silk's Projects
Academic writing with Markdown
Embedded language for high-performance array computations
ack 2.0 is a greplike tool optimized for programmers searching large heterogeneous trees of source code.
A monad which is powerful enough to interpret any action
Run your GitHub Actions locally 🚀
action Haskell Data Analysis
GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.
iOS Flash Card App
Code for: Learning Latent Structure for Activity Recognition (ICRA 14', RSS 14', and Ro-Man 14')
Haskell library for semigroup actions, groups and torsors
Automatic Differentiation
:chart_with_upwards_trend: Tools for adaptive and parallel samping of mathematical functions
A frontend framework for building admin SPAs on top of REST services, using React and Material Design
A Freenet clone written in Haskell
Authenticated Data Structures
Free QGIS add-on for transportation modeling
A fast Haskell JSON library
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Building Blocks for the VR Web
vr-remote-control (use a daydream remote or a mobile phone as a tracked controller) and other A-Frame components
:musical_keyboard: Simple, functional, and fully customizable keyboard for A-Frame.
Simple commandline tool that exits after another program closes
A live-coding lighting controller, building on the Open Lighting Architecture with Clojure and bits of Overtone.
Crowdsourced hyperlocal music playlists
A new Categories library for Agda
Generic parallel algorithms in Agda
Denotational hardware design in Agda
Denotational-categorical design of verified hardware in Agda