Niklas Gruhn (gruhn)

gruhn

Geek Repo

Company:@DeepLcom

Location:Cologne, Germany

Home Page:gruhn.me

Github PK Tool:Github PK Tool


Organizations
DeepLcom

Niklas Gruhn's repositories

vue-qrcode-reader

A set of Vue.js components for detecting and decoding QR codes.

Language:TypeScriptLicense:MITStargazers:1955Issues:33Issues:293

awesome-naming

A curated list for when naming things is done right.

barcode-detector

Spec compliant polyfill of the Barcode Detection API šŸ¤³

Language:TypeScriptLicense:MITStargazers:45Issues:4Issues:7
Language:HaskellStargazers:4Issues:2Issues:0

prolog-cluedo

:mag: A toy project to learn Prolog and my secret plan to NOT get wrecked by my sister in Cluedo/Clue anymore.

Language:PrologLicense:MITStargazers:2Issues:3Issues:1

SMT

Toy SMT solver written in Haskell

Language:HaskellStargazers:2Issues:2Issues:0

awesome

šŸ˜Ž Awesome lists about all kinds of interesting topics

License:CC0-1.0Stargazers:1Issues:2Issues:0

awesome-creative-tech-events

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

License:CC0-1.0Stargazers:1Issues:2Issues:0

awesome-vue

A curated list of awesome things related to Vue.js

callforth

Don't callback, callforth! :running:

Language:JavaScriptStargazers:1Issues:3Issues:0

caniuse

Raw browser/feature support data from caniuse.com

Language:JavaScriptLicense:CC-BY-4.0Stargazers:1Issues:2Issues:0

counting-with-slot-machines

Binary counting explained with slot machines.

Language:VueStargazers:1Issues:2Issues:0

blog

Tom Sherman's writings and ramblings

Stargazers:0Issues:1Issues:0

fast-check

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

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

Financial-Models-Numerical-Methods

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

Language:Jupyter NotebookLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:0Issues:1Issues:0

hlint

Haskell source code suggestions

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

LoAT

Loop Acceleration Tool for Integer Programs

Language:C++License:GPL-3.0Stargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:3Issues:0

natural_number_game

Building the natural numbers in Lean.

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:TypeScriptStargazers:0Issues:2Issues:0

probmods2

probmods 2: electric boogaloo

Language:JavaScriptStargazers:0Issues:1Issues:0

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:3Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

testcafe-reporter-sentry

Testcafe reporter for Sentry.io

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0

tree-sitter-prolog

Tree Sitter Prolog

Language:CLicense:ISCStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:3Issues:0