Pinned Repositories
counting-sheep
Timed sleep & shutdown from Mac OS X’s Dashboard.
edith
PHP web notepad, like a wiki, saves every 2 seconds
grunt-transbrute
Publish project files using Git.
hobbes
A Java to JavaScript compiler
jQuery-Plugins
A collection of jQuery plugins
la-girafe-sportive
Coq-verified statements about lambda calculi.
omnomdom
tasty tasty DOM
play-stylus
Stylus assets for Play 2.0
rails-html4
Generate HTML 4 markup rather than XHTML from Rails' tag helper methods
stubb
Specify REST API stubs using your file system.
knuton's Repositories
knuton/.dotfiles
Shared configuration for my command lines.
knuton/poqrtal
A silly "browser" PWA that can only navigate to QR codes
knuton/boxes-and-bubbles
A simple-as-possible 2D physics rigid-body physics engine for Elm.
knuton/dhall-lang
Maintainable configuration files
knuton/DividatSenso-Unity-Plugin
Unity Plugin for Dividat Senso
knuton/driver
Dividat drivers and hardware test suites
knuton/elm-companies
🌲 A list of companies using Elm in production.
knuton/elm-github-install
An alternative decentralized package manager for Elm
knuton/elm-semver
Semantic version handling for Elm.
knuton/elm-vega
Elm - Vega/Lite Integration for functional declarative visualization
knuton/EndlessRevolution
A JavaScript project that combines the rhythm gameplay of Dance Dance Revolution with an endless runner.
knuton/focus-shift
A simple library for moving focus around a page using the arrow keys
knuton/form-validation.js
The most customizable validation framework for JavaScript.
knuton/gopass
The slightly more awesome standard unix password manager for teams
knuton/http4s
A minimal, idiomatic Scala interface for HTTP
knuton/nixpkgs
Nix Packages collection
knuton/opam-repository
Main public package repository for opam, the source package manager of OCaml.
knuton/piano-notes
Programmatically create piano note sound files
knuton/play-computer
knuton/playdev
Ressources for developing games for Dividat Play and Senso
knuton/playos
A custom Linux system for running Dividat Play.
knuton/pwadrop
Snapdrop but framed as a standalone PWA
knuton/secret_santa
Ruby script for choosing and notifying secret santas
knuton/signcode
Codesign Windows executables from a Mac
knuton/skifree.js
:ski: The classic PC Game SkiFree, but in JS.
knuton/spotifyd
A spotify daemon
knuton/teensy_loader_cli
Command line Teensy Loader
knuton/Test
Testing commit propagation to forks when moving to private
knuton/vega-lite
A concise grammar of interactive graphics, built on Vega.
knuton/websocket
Websockets for Elm