Skip to content
View LogicalOverflow's full-sized avatar

Block or report LogicalOverflow

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An open source headless CMS / real-time database. Powerful table editor, full-text search, and SDKs for JS / React / Svelte.

TypeScript 1,477 71 Updated Jan 13, 2026

Something with a annax 40.4321.0630 tram innenanzeige

C++ 5 1 Updated Nov 22, 2025

Protocol Reverse Engineering Workbench

Python 22 2 Updated Apr 15, 2025

Grundgesetz für die Bundesrepublik Deutschland

523 19 Updated Jan 14, 2018

Capability Secure Distributed Infrastructure

Rust 24 4 Updated Jan 9, 2026

Keyboard, video and mouse over USB

C 143 9 Updated Nov 9, 2025

A Wayland widget system built for Pinnacle

Rust 14 Updated Dec 18, 2024

A Smithay-based Wayland compositor, inspired by AwesomeWM and configured in Lua or Rust

Rust 517 24 Updated Jan 16, 2026

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Rust 5,266 118 Updated Sep 26, 2025

My personal color scheme for KiCad

24 1 Updated Feb 25, 2024

Nix Flake Input Versioning

Rust 88 5 Updated May 23, 2025

Creusot helps you prove your code is correct in an automated fashion.

Rust 1,417 65 Updated Jan 16, 2026

Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix

Rust 961 16 Updated Jan 6, 2026

A new type of shell

Rust 37,897 2,016 Updated Jan 18, 2026

Tailscale C library

Swift 273 43 Updated Jan 13, 2026

perfect programming language

13,273 468 Updated Oct 30, 2025

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

Nix 1,652 114 Updated Jan 7, 2026

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

C++ 33,348 1,521 Updated Jan 17, 2026

Nix Packages collection & NixOS

Nix 23,115 17,749 Updated Jan 18, 2026

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

Nix 65 8 Updated Nov 11, 2024

Build Mirage unikernels with Nix

Nix 46 4 Updated Dec 20, 2025

Utility to decrypt App Store apps on jailbroken iOS 11.x

C 479 75 Updated May 24, 2020

NIx Language server, an incremental analysis assistant for writing in Nix.

Rust 1,773 56 Updated Dec 10, 2025

Emacs interactively installing its own 3rd party dependencies

Emacs Lisp 6 1 Updated Dec 8, 2022

Companion tool to https://github.com/ryantm/agenix

Rust 40 3 Updated Aug 5, 2025

An open source, self-hosted implementation of the Tailscale control server

Go 34,351 1,837 Updated Jan 18, 2026

🌲 Structural editing in Emacs for any™ language!

Emacs Lisp 413 19 Updated Jun 1, 2025

Clone of isabelle, with LSP extensions in seperate branches

Isabelle 28 5 Updated Jan 8, 2026

SQL backend for Emacs Org-Mode

Emacs Lisp 117 9 Updated May 31, 2025

The LumenPnP is an open source pick and place machine.

HTML 3,116 433 Updated Jan 11, 2026
Next