Tomas Krejci (tomas789)

tomas789

Geek Repo

Company:Ampiato.com

Location:Czech Republic, Europe

Github PK Tool:Github PK Tool

Tomas Krejci's repositories

kitti2bag

Convert KITTI dataset to ROS bag file the easy way!

Language:PythonLicense:MITStargazers:680Issues:12Issues:61

tonav

Implementation of Multi-State Constraint Kalman Filter (MSCKF) for Vision-aided Inertial Navigation. This is my master's thesis.

quine-mccluskey-tomas789

A python implementation of the Quine McCluskey algorithm.

Language:C++License:MITStargazers:3Issues:1Issues:0

torture-generator

Generate a G-Code to torture your 3D printer.

Language:TypeScriptLicense:MITStargazers:1Issues:2Issues:0

adaptive-lighting

Adaptive Lighting custom component for Home Assistant

License:Apache-2.0Stargazers:0Issues:0Issues:0

aide

An API documentation library

License:Apache-2.0Stargazers:0Issues:0Issues:0

arduino-device-lib

Arduino Library for TTN Devices

Language:CLicense:MITStargazers:0Issues:2Issues:0
Stargazers:0Issues:1Issues:0

boolean.py

Implements boolean algebra in one module.

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

cvxpy

A Python-embedded modeling language for convex optimization problems.

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

dam_comp

A fork of the madanim/dam_comp repository.

Language:JuliaStargazers:0Issues:2Issues:0

energiewende.io

A Hacker News lookalike written in Python/Django, powering https://news.python.sc

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

entso-monitor

Allows Crawling data from ENTSOE and ENTSOG to a TimeScaleDB

License:MITStargazers:0Issues:0Issues:0

Espresso

Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley

Language:CLicense:MITStargazers:0Issues:1Issues:0

homebrew-core

🍻 Default formulae for the missing package manager for macOS

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

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.

Language:SwiftLicense:Apache-2.0Stargazers:0Issues:2Issues:0

minbool

Boolean expression simplifier/minimizer

Language:C++License:MITStargazers:0Issues:0Issues:0

naive-rete

Python RETE algorithm

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

open-energy-data-server

Scripts for a reproducible database server for energy informatics data sets

Stargazers:0Issues:0Issues:0

opencv_contrib

Repository for OpenCV's extra modules

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

openMVG

open Multiple View Geometry library. Basis for 3D computer vision and Structure from Motion.

Language:C++License:MPL-2.0Stargazers:0Issues:2Issues:0

openssh

Scriptable SSH through OpenSSH in Rust

License:Apache-2.0Stargazers:0Issues:0Issues:0

revisiting_mp_conditions

A fork of the madanim/revisiting_mp_conditions repository.

Language:JuliaLicense:GPL-3.0Stargazers:0Issues:2Issues:0

rust-gurobi

Unofficial Rust API for Gurobi Optimizer

Language:RustLicense:MITStargazers:0Issues:0Issues:0

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:0Issues:1Issues:0

sqlalchemy-stubs

Mypy plugin and stubs for SQLAlchemy

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ssh_ipykernel

A remote jupyter kernel via ssh

License:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:AGPL-3.0Stargazers:0Issues:2Issues:0
Stargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0