Niklas Gruhn's repositories
vue-qrcode-reader
A set of Vue.js components for detecting and decoding QR codes.
LoAT
Loop Acceleration Tool for Integer Programs
fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
nixpkgs
Nix Packages collection & NixOS
helix
A post-modern modal text editor.
awesome-naming
A curated list for when naming things is done right.
scryer-prolog
A modern Prolog implementation written mostly in Rust.
barcode-detector
Spec compliant polyfill of the Barcode Detection API š¤³
awesome-vue
A curated list of awesome things related to Vue.js
hlint
Haskell source code suggestions
tree-sitter-prolog
Tree Sitter Prolog
FStar
A Proof-oriented Programming Language
liquidhaskell
Liquid Types For Haskell
prolog-cluedo
:mag: A toy project to learn Prolog and my secret plan to NOT get wrecked by my sister in Cluedo/Clue anymore.
counting-with-slot-machines
Binary counting explained with slot machines.
natural_number_game
Building the natural numbers in Lean.
probmods2
probmods 2: electric boogaloo
testcafe-reporter-sentry
Testcafe reporter for Sentry.io