3Domse3's Stars
raspberrypi/rpi-eeprom
Installation scripts and binaries for the Raspberry Pi 4 and Raspberry Pi 5 bootloader EEPROMs
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ccz181078/Coq-BB5
pypa/pipx
Install and Run Python Applications in Isolated Environments
myriadrf/xtrx_linux_pcie_drv
XTRX PCI driver for linux
macroxue/2048-ai
A strong AI for the popular 2048 game. It reaches the 65536 tile 3% of the time, without undos.
tjwei/2048-NN
A Deep Learning AI for 2048 (2048:94.15%, 4096:78.48%, 8192: 34.5% 16384: 0.177%)
martin-ger/esp_wifi_repeater
A full functional WiFi Repeater (correctly: a WiFi NAT Router)
localsend/localsend
An open-source cross-platform alternative to AirDrop
stm32duino/Arduino_Core_STM32
STM32 core support for Arduino
NeverDecaf/chromium-web-store
Allows adding extensions from chrome web store on ungoogled-chromium. Also adds semi-automatic extension updating.
DataFlowAnalysis/DataFlowAnalysis
jplag/JPlag
State-of-the-Art Software Plagiarism & Collusion Detection
zotero/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
ILIAS-eLearning/ILIAS
GitHub repository for official ILIAS release branches and development branches (trunk)
pkplonker/OpenF1CSharp
MestreLion/mcworldlib
Yet another library to manipulate Minecraft data, inspired by pymclevel
complexlogic/rsgain
A simple, but powerful ReplayGain 2.0 tagging utility
observablehq/plot
A concise API for exploratory data visualization implementing a layered grammar of graphics
PentHertz/OpenBTS
GSM+GPRS Radio Access Network Node reloaded for 2024 for newest UHD drivers and supporting Ubuntu 22.04
microsoft/MS-DOS
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
thirtythreeforty/businesscard-linux
A Buildroot distribution small enough to run on my business card
saharan/works
The code of several works on oimo.io/works
tmbdev/clstm
A small C++ implementation of LSTM networks, focused on OCR.
ocropus-archive/DUP-ocropy
Python-based tools for document analysis and OCR
monkeytypegame/monkeytype
The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
adafruit/Adafruit-GFX-Library
Adafruit GFX graphics core Arduino library, this is the 'core' class that all our other graphics libraries derive from
adafruit/DHT-sensor-library
Arduino library for DHT11, DHT22, etc Temperature & Humidity Sensors
adafruit/Adafruit_CircuitPython_Bundle
A bundle of useful CircuitPython libraries ready to use from the filesystem.
adafruit/Adafruit_NeoPixel
Arduino library for controlling single-wire LED pixels (NeoPixel, WS2812, etc.)