Tomas Krejci's repositories
aide
An API documentation library
openssh
Scriptable SSH through OpenSSH in Rust
open-energy-data-server
Scripts for a reproducible database server for energy informatics data sets
adaptive-lighting
Adaptive Lighting custom component for Home Assistant
ssh_ipykernel
A remote jupyter kernel via ssh
torture-generator
Generate a G-Code to torture your 3D printer.
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
naive-rete
Python RETE algorithm
rust-gurobi
Unofficial Rust API for Gurobi Optimizer
quine-mccluskey-tomas789
A python implementation of the Quine McCluskey algorithm.
boolean.py
Implements boolean algebra in one module.
minbool
Boolean expression simplifier/minimizer
Espresso
Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
entso-monitor
Allows Crawling data from ENTSOE and ENTSOG to a TimeScaleDB
sqlalchemy-stubs
Mypy plugin and stubs for SQLAlchemy
cvxpy
A Python-embedded modeling language for convex optimization problems.
energiewende.io
A Hacker News lookalike written in Python/Django, powering https://news.python.sc
arduino-device-lib
Arduino Library for TTN Devices
dam_comp
A fork of the madanim/dam_comp repository.
revisiting_mp_conditions
A fork of the madanim/revisiting_mp_conditions repository.
homebrew-core
🍻 Default formulae for the missing package manager for macOS
opencv_contrib
Repository for OpenCV's extra modules
openMVG
open Multiple View Geometry library. Basis for 3D computer vision and Structure from Motion.
JustLog
JustLog brings logging on iOS to the next level. It supports console, file and remote Logstash logging via TCP socket with no effort. Support for logz.io available.