Discover @knuton Open Source projects

Johannes Emerich (@knuton)

knuton

Stars
343
Global Rank 79,906 (Top 3 %)
Followers 44
Following 14
Registered almost 16 years ago
Most used languages

JavaScript
46.7 %

Ruby
13.3 %

Coq 6.7 %

Python
6.7 %

Shell
6.7 %

Scala
6.7 %

HTML
6.7 %

CSS
6.7 %
Location 🇩🇪 Germany
Country Total Rank 4,108
Country Ranking

Coq 18

Ruby
101

Scala
527

CSS
2,896

JavaScript
4,569

Shell
6,617

HTML
8,788

stubb

Specify REST API stubs using your file system.

hobbes

A Java to JavaScript compiler

la-girafe-sportive

Coq-verified statements about lambda calculi.

play-stylus

Stylus assets for Play 2.0

counting-sheep

Timed sleep & shutdown from Mac OS X’s Dashboard.

omnomdom

tasty tasty DOM

grunt-transbrute

Publish project files using Git.

.dotfiles

Shared configuration for my command lines.

pmlp

Statistical music composition

proof-theory

Project for course in Proof Theory

vodo

Global notes summaries

transform-assets-webpack-plugin

A configurable plugin for applying asset transformations in Webpack.

jquery-atthattime

Es begab sich aber zu der Zeit …

poqrtal

A silly "browser" PWA that can only navigate to QR codes

scout

Social reform against piracy.

fusedasone.com

jekyll-run blog