GitHunt

Gregor Kikelj

grekiki2

gregor.kikelj@gmail.com

Straža, Slovenija

Languages

Python58%Jupyter Notebook17%TypeScript8%HTML8%Lean8%

Loading contributions...

Top Repositories

Repositories

19
GR
grekiki2/ardupilot_wikiFork

Repository for ArduPilot wiki issues and wiki-specific website infrastructure.

Python00Updated 2 months ago
GR
grekiki2/MAVProxyFork

MAVLink proxy and command line ground station

00Updated 2 months ago
GR
grekiki2/MethodicConfiguratorFork

A clear ArduPilot configuration sequence

Python00Updated 2 months ago
GR
grekiki2/ardupilotFork

ArduPlane, ArduCopter, ArduRover, ArduSub source

00Updated 3 months ago
GR
grekiki2/spletna-stran

No description provided.

Python022Updated 3 months ago
GR
grekiki2/controls_challengeFork

No description provided.

Python00Updated 7 months ago
GR
grekiki2/railroad_segmentation

Model trained on a dataset of railroads in Slovenia

Jupyter Notebook10Updated 8 months ago
GR
grekiki2/GymnasiumFork

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

00Updated 1 year ago
GR
grekiki2/tinygradFork

You like pytorch? You like micrograd? You love tinygrad! ❤️

Python00Updated 1 year ago
GR
grekiki2/FriendlyChat

No description provided.

TypeScript00Updated 1 year ago
GR
grekiki2/commavqFork

commaVQ is a dataset of compressed driving video

Jupyter Notebook00Updated 1 year ago
GR
grekiki2/grekiki2.github.io

No description provided.

HTML00Updated 1 year ago
GR
grekiki2/flight_sim

Testiranje jadralnih lastnosti in krmiljenja v 2d simulaciji.

Python00Updated 1 year ago
GR
grekiki2/comma10k-better

No description provided.

Python00Updated 1 year ago
GR
grekiki2/Lean-tests

Doing some basic experimentation with how Lean4 works.

Lean00Updated 2 years ago
GR
grekiki2/Lean-HoGFork

No description provided.

00Updated 2 years ago
GR
grekiki2/openpilotFork

openpilot is an open source driver assistance system. openpilot performs the functions of Automated Lane Centering and Adaptive Cruise Control for over 150 supported car makes and models.

00Updated 2 years ago
GR
grekiki2/mathematics_in_lean_sourceFork

Source code for the Mathematics in Lean tutorial.

00Updated 2 years ago
GR
grekiki2/comma10k-baselineFork

A baseline segmentation example using the comma10k dataset (WIP)

00Updated 2 years ago

Gists

Recent Activity