Pinned Repositories
CindyJS
A JavaScript framework for interactive (mathematical) content.
ComplexCurves
A JavaScript library for visualization of complex plane algebraic curves
angular-oauth2-oidc
Support for OAuth 2 and OpenId Connect (OIDC) in Angular.
angular4-hal
HAL for Angular
CindyJS
A JavaScript framework for interactive (mathematical) content
closure-compiler
A JavaScript checker and optimizer.
closure-compiler-issue-2559
A minimal failing example for Closure Compiler issue #2559
haste-compiler
A Haskell to Javascript compiler.
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
nebula-release-plugin
Release opinions based around gradle-git
kranich's Repositories
kranich/angular-oauth2-oidc
Support for OAuth 2 and OpenId Connect (OIDC) in Angular.
kranich/angular4-hal
HAL for Angular
kranich/CindyJS
A JavaScript framework for interactive (mathematical) content
kranich/closure-compiler
A JavaScript checker and optimizer.
kranich/closure-compiler-issue-2559
A minimal failing example for Closure Compiler issue #2559
kranich/haste-compiler
A Haskell to Javascript compiler.
kranich/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
kranich/nebula-release-plugin
Release opinions based around gradle-git
kranich/nixpkgs
Nix Packages collection & NixOS
kranich/OpenGL
Haskell bindings to OpenGL
kranich/plfa.github.io
Introduction to programming language theory in Agda
kranich/Refactoring-Golf
Refactoring Katas for the game "Refactoring Golf"
kranich/terraform-hcloud-kube-hetzner
Optimized and Maintenance-free Kubernetes on Hetzner Cloud in one command!
kranich/vagrant-vmware-esxi
A Vagrant plugin that adds a vmware ESXi provider support.
kranich/vim-tmux-navigator
Seamless navigation between tmux panes and vim splits