gruhn Goto Github PK

adapter

Shim to insulate apps from spec changes and prefix differences. Latest adapter.js release:

advent-of-code

awesome

😎 Awesome lists about all kinds of interesting topics

awesome-creative-tech-events

Awesome list of events from around the globe for creative coding, tech, design, music, arts and cool stuff

awesome-naming

A curated list for when naming things is done right.

awesome-vue

A curated list of awesome things related to Vue.js

barcode-detector

Spec compliant polyfill of the Barcode Detection API 🤳

browsers-support-badges

Browsers support badges for GitHub

callforth

Don't callback, callforth! :running:

caniuse

Raw browser/feature support data from caniuse.com

counting-with-slot-machines

Binary counting explained with slot machines.

demo-webpack-hmr-docker

dotfiles

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

fast-check-bug-demo

financial-models-numerical-methods

Collection of notebooks about quantitative finance, with interactive python code.

fp-ss2019

Exercise solutions for the Functional Programming course at RWTH University (SS2019)

fstar

A Proof-oriented Programming Language

gogh

Color Scheme for Gnome Terminal and Pantheon Terminal

gruhn.me

hlint

Haskell source code suggestions

hubspot-php

HubSpot PHP API Client

liquidhaskell

Liquid Types For Haskell

loat

Loop Acceleration Tool for Integer Programs

mi-wpf-digitale-kommunikation

Website zum WPF Digitale Kommunikation von Christian Noss.

ml-ws2020

natural_number_game

Building the natural numbers in Lean.

netlify-cms

A CMS for Static Site Generators

one-click-hugo-cms

pbt-exercise