Discover @nielstron Open Source projects

Niels Mündler (@nielstron)

nielstron

Stars
250
Global Rank 103,244 (Top 4 %)
Followers 58
Following 33
Registered over 8 years ago
Most used languages

Python
58.1 %

C++
12.9 %

Isabelle 9.7 %

Java
6.5 %

TeX
3.2 %

C
3.2 %

OCaml
3.2 %

JavaScript
3.2 %
Location 🇨🇭 Switzerland
Country Total Rank 1,145
Country Ranking

Isabelle 2

OCaml
26

Python
319

Java
486

TeX
493

C++
926

C
1,028

JavaScript
2,215

quantulum3

Library for unit extraction - fork of quantulum for python3

pyfronius

Automated JSON API based communication with Fronius Symo

vimulator

A vim-emulator for jEdit 5

ha_bayernluefter

Custom component for the Bayernluefter

YOLOv3-Training-Snowman-Detector

Adapted YOLOv3 Network, trained to detect cats

ha_blnet

BLNET custom component for Home Assistant

pysyncthru

A very basic python SyncThru bridge

pyblnet

Automate wireless communication to UVR1611 via BL-NET

freiraumETHZ

Find free rooms in ETHZ Campuses

fupv_altklausuren

Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation, inklusive Tests

ubuntu.whatsapp-nativefier

WhatsApp / WhatsAppWeb as native App on ubuntu via Electron nativefier

wetter.com.py

Scrape German weather data from wetter.com

pyboinc

A very basic package to connect to a BOINC client based on the BOINC GUI RPC Protocol

ha_syncthru

Custom component for Samsung Syncthru printers that unleashes the power of Web-Scraping

pyscc

Python Smart Contracts for Cardano

diy_bayernluft

self-build sensors for the Bayernlüfter

ha-config

Tools and examples for a home assistant configuration

fifled

tool to create bounding boxes and labels for moving objects in mostly static videos

abstract_artist

A simulation of the creation of abstract arts

zokrada

ZK-SNARK Proof Verifiers on Cardano

weak_heap_sort

Implementation and Verification of Functional Weak Heap Sort

projective_geometry

Isabelle Formalisation of projective geometry with focus on the RP2

pyernluefter

Automated async web-based communication with the Bayernluefter

berichtung

Erfahrungen und Berichte aus diversen Gelegenheiten

msos_searcher

A half-hearted attempt at finding a magic square of squares

flowdetect

Detect "Objects" in Images based on Image flow.

rep_grnvs

Ausgewählte Übungsaufgaben für ein 8-tägiges GRNVS Repetitorium

humidity_control

Reads a DHT 12 sensor via ESP8266 and controls a air refresher as well as publishing the data via MQTT

skserialize

Safe, efficient sklearn model persistence

java_finite_automata

Parses finite automata and creates a DFA based on a given NFA

bplustrees

A Verified Imperative Implementation of B+-Trees in Isabelle

symplex

Symbolic computation of the simplex algorithm for educational purposes