nilp0inter's Stars
ytdl-org/youtube-dl
Command-line program to download videos from YouTube.com and other video sites
PapirusDevelopmentTeam/papirus-icon-theme
Pixel perfect icon theme for Linux
ct-Open-Source/tuya-convert
A collection of scripts to flash Tuya IoT devices to alternative firmwares
Overv/outrun
Execute a local command using the processing power of another Linux machine.
thp/urlwatch
Watch (parts of) webpages and get notified when something changes via e-mail, on your phone or via other means. Highly configurable.
FStarLang/FStar
A Proof-oriented Programming Language
Joxit/docker-registry-ui
The simplest and most complete UI for your private registry
faylang/fay
A proper subset of Haskell that compiles to JavaScript
DavHau/nix-portable
Nix - Static, Permissionless, Installation-free, Pre-configured
amborle/featmap
The simple and open source user story mapping tool.
sabhiram/go-wol
Simple wake on LAN magic packet generator for golang
gnosygnu/xowa
xowa offline wiki application
KostyaEsmukov/smtp_to_telegram
A small program that listens for SMTP and sends all incoming Email messages to Telegram
lronaldo/cpctelera
Astonishingly fast Amstrad CPC game engine for C developers
j5lien/esphome-idasen-desk-controller
ESPHome component for Ikea Idasen desk control
Gabriella439/Haskell-Typed-Spreadsheet-Library
Typed and composable spreadsheets
dillonkearns/elm-typescript-interop
Generate TypeScript declaration files for your elm ports!
jaedle/mirror-to-gitea
Mirror your github repositories to your gitea server
codereport/CTfP-2021
Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
sharkdp/purescript-sparkle
Infer user interfaces from type signatures
collegevine/purescript-elmish
A PureScript implementation of The Elm Architecture
andresch/trackfs
A FUSE filesystem that splits FLAC+CUE files into individual tracks
acenko/FLACCue
FLAC with cuesheet support for Plex.
mapozyan/caps
Power Search: A full-text search plugin for Calibre
clach04/Broadlink-e-control-db-dump
These two scripts will "parse" the broadlink e-Control Android application database or SharedData and dump the IR / RF codes for selected accessories into a text file which can be later used with broadlink-python to send the codes to the RM PRO hub
gabriel-milan/esp32_ulp_hall_wakeup
A short simple code to wake ESP32 up using a hall sensor threshold
googleinterns/hawk
philpagel/HP-microserver-caddy
SSD Caddy for ODD bay of HP Microserver Gen8
Santandersecurityresearch/QuantumRNG
A Quantum computer based CSPRNG, written in python, as a PoC for using QCs in services.
tos-kamiya/distxargs
Parallel execution with a pool of worker processes on a cluster via ssh.