nielstron/weak_heap_sort

Stars
1
Language Isabelle
Created almost 4 years ago
Updated almost 4 years ago

nielstron/weak_heap_sort

nielstron

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Implementation and Verification of Functional Weak Heap Sort

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

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