Discover @knuton Open Source projects

Johannes Emerich (@knuton)

knuton

Stars
343
Global Rank 79,487 (Top 3 %)
Followers 44
Following 14
Registered over 15 years ago
Most used languages

JavaScript
46.7 %

Ruby
13.3 %

HTML
6.7 %

CSS
6.7 %

Scala
6.7 %

Coq 6.7 %

Shell
6.7 %

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

Coq 21

Ruby
101

Scala
526

CSS
2,815

JavaScript
4,465

Shell
7,752

HTML
9,233

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

transform-assets-webpack-plugin

A configurable plugin for applying asset transformations in Webpack.

proof-theory

Project for course in Proof Theory

vodo

Global notes summaries

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