Davidbrcz

Aqara-Advanced-Lighting. Aqara lighting integration for Home Assistant with frontend UI, services, and API

spix. UI test automation library for QtQuick/QML Apps

math-science-video-lectures. List of Science courses with video lectures

mediastack. The ultimate Docker Compose files and configs to build your desired media stack, quickly and easily, with secure outbound network traffic and secure remote access using multifactor authentication.

Apps2Samsung. One-click app installer for Samsung TVs, projectors and smart monitors (Tizen) — Jellyfin, Moonlight, and the whole community catalog.

awesome-selfhosted. A list of Free Software network services and web applications which can be hosted on your own servers

ProxmoxVE. Proxmox VE Helper-Scripts (Community Edition)

iSponsorBlockTV. SponsorBlock client for all YouTube TV clients.

wg-easy. The easiest way to run WireGuard VPN + Web-based Admin UI.

openproject. OpenProject is the leading open source project management software.

papra. The minimalistic document archiving platform.

app-cloudflared. Connect remotely to your Home Assistant instance without opening any ports using Cloudflared.

paperless-ngx. A community-supported supercharged document management system: scan, index and archive all your documents

ffmpeg-libav-tutorial. FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷 🇷🇺

dorita980. Unofficial iRobot Roomba and Braava (i7/i7+, 980, 960, 900, e5, 690, 675, m6, etc) node.js library (SDK) to control your robot

drl-zh. Deep Reinforcement Learning: Zero to Hero!

context-transient.el. Context specific transient menus for Emacs

qsv. Blazing-fast Data-Wrangling toolkit

fcos-layer-paperless-ngx. A demo of using the Layered FCOS updates

ppngx. Podman + Paperless NGX

OCRmyPDF. OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

ImHex. 🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

kotcot. Kotlin Cursor-on-Target (CoT) library

TAKtick. command-line CoT/TAK TCP server

ATAK-Maps. A collection of maps for use in ATAK

ATAK-CoT-Converters. This repository will contain multiple scripts to handle converting many different data streams, files and formats into TAK ecosystem friendly xml.

tak-tools. Shell

Gauche. Scheme Scripting Engine

CLIP. CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image

pdf-index. Tool for extracting important terms from a PDF and generating a printable index.

pagefind. Static low-bandwidth search at scale

hugo-theme-jane. A readable & concise theme for Hugo, color schemes to choose, easy to personalize. Working well since 2018.

awesome-elisp. 🏵️ A curated list of Emacs Lisp development resources

PythonRobotics. Python sample codes and textbook for robotics algorithms.

RedditClone. Reddit Backend clone with Ktor, MySql, exposed ORM and JWT

Prompt-Engineering-Guide. 🐙 Guides, papers, lessons, notebooks and resources for prompt engineering, context engineering, RAG, and AI Agents.

awesome-android-learning-resources. 👓 A curated list of awesome android learning resources for android app developers.

LLTHW. Learn Lisp The Hard Way source-code and full book text

illustrated-tls13. The Illustrated TLS 1.3 Connection: Every byte explained

cmake-init. The missing CMake project initializer

d2. D2 is a modern diagram scripting language that turns text to diagrams.

copilot. A stream-based runtime-verification framework for generating hard real-time C code.

3-lisp. 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

go2tv. Cast media files to Smart TVs and Chromecast devices.

hdoc. The modern documentation tool for C++.

what-is. Important concepts in numerical linear algebra and related areas

pandoc-latex-template. A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

linux-insides. A book-in-progress about the Linux kernel and its insides.

magic-trace. magic-trace collects and displays high-resolution traces of what a process is doing

algorithmica. A computer science textbook

uBlock-Origin-dev-filter. Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

beautiful-docs. Pointers to useful, well-written, and otherwise beautiful documentation.

Mesh. A memory allocator that automatically reduces the memory footprint of C/C++ applications.

Heap-Layers. Heap Layers: An Extensible Memory Allocation Infrastructure

fret. A framework for the elicitation, specification, formalization and analysis of requirements.

advent-of-tla. AoC goals in TLA+

SecureCompatibleEncryptionExamples. A collection of secure encryption examples for encrypting strings and binary data.

koka. Koka language compiler and interpreter

modern-unix. A collection of modern/faster/saner alternatives to common unix commands.

lets-prove-leftpad. Proving leftpad correct two-dozen different ways

free-for-dev. A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

paperless-ng. A supercharged version of paperless: scan, index and archive all your physical documents

blog-drafts. Drafts and ideas for my blog

cs6120. advanced compilers

QML-Coding-Guide. A collection of good practices when writing QML code - https://doc.qt.io/qt/qtqml-index.html

tldrstory. 📊 Semantic search for headlines and story text

learn4haskell. 👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

dynamorio. Dynamic Instrumentation Tool Platform

cpp_learning. Where to get started learning C++ and what resources are there.

haskell-code-spot. Visual tool to spot odd runtime behaviour of Haskell programs.

souffle-haskell. Haskell bindings for the Souffle datalog language

NetworkLayout.jl. Layout algorithms for graphs and trees in pure Julia.

haskell-scotty-realworld-example-app. Exemplary real world backend API built with Haskell/Scotty https://realworld.io

neut. A functional programming language with static memory management

learn-programming-languages. Resources for the working programmer to learn more about the fundamentals and theory of programming languages.

micro-mitten. You might not need your garbage collector

pivpn. The Simplest VPN installer, designed for Raspberry Pi

fp-resources. Functional programming great resources

scalaworld-2015. Supporting material for ScalaWorld 2015.

mazhe. (almost) Everything I know in math.

Haskell_Study. Collections of papers and books about Haskell, Type Theory and Category Theory

three-layer. :three: :cake: Architecture of the Haskell web applications

pnp. Lecture notes for a short course on proving/programming in Coq via SSReflect.

programming-talks. Awesome & interesting talks about programming

awesome-talks. Awesome online talks and screencasts

oplss-notes-2018. Notes and handouts from OPLSS 2018

introduction-to-algebraic-effects-and-handlers. Introduction to algebraic effects and handlers

homotopy-type-theory-course. A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

spartan-type-theory. Spartan type theory

tinywm. The tiniest window manager.

core. :house_with_garden: Open source home automation that puts local control and privacy first.

paperless. Scan, index, and archive all of your paper documents

awesome-humane-tech. Promoting Solutions that Improve Wellbeing, Freedom and Society

semantic. Parsing, analyzing, and comparing source code across many languages

cmake-scripts. Easy-to-add enhancements for any C/C++ CMake project. Including AFL fuzzing, code-coverage, Thread/Address/Leak/Address/Undefined sanitizer instrumentation, compilation of GLSL shaders and more.

hacker-laws. 🧠 Laws, Theories, Principles and Patterns for developers and technologists.

computer-graphics-from-scratch. Text, diagrams, and source code for the book Computer Graphics from scratch.

.emacs.d. Emacs Lisp

org-spec. Org-mode skeleton for technical specifications & HTML theme

test-case-mode. Emacs unit test front-end