LogicalOverflow
CS Student & Developer. Mostly OCaml, Rust, and nix (Profile picture by jhayarr23)
Germany
Pinned Repositories
agenix-cli
Companion tool to https://github.com/ryantm/agenix
angrcutter
Angr integration with Cutter's debugger
angstrom
Parser combinators built for speed and memory efficiency
java-champion-gg-wrapper
A simple and outdated Java wrapper for the ChampionGG API (http://api.champion.gg/docs/)
MasterStats
web application providing statistical data on champion mastery
music-sync
A go application to play the same music on multiple devices at (exactly) the same time.
p2p_network
python peer to peer network, tcp based
LogicalOverflow's Repositories
LogicalOverflow/music-sync
A go application to play the same music on multiple devices at (exactly) the same time.
LogicalOverflow/agenix-cli
Companion tool to https://github.com/ryantm/agenix
LogicalOverflow/angstrom
Parser combinators built for speed and memory efficiency
LogicalOverflow/disko
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht]
LogicalOverflow/go-queryset
100% type-safe ORM for Go (Golang) with code generation and MySQL, PostgreSQL, Sqlite3, SQL Server support. GORM under the hood.
LogicalOverflow/hillingar
building mirage unikernels with nix
LogicalOverflow/home-manager
Manage a user environment using Nix [maintainer=@rycee]
LogicalOverflow/mirage-hello-hillingar
LogicalOverflow/neli
Rust type safe netlink library
LogicalOverflow/niri-flake
Nix packages and modules for niri
LogicalOverflow/nix
Nix, the purely functional package manager
LogicalOverflow/NixOS-Users-Against-MIC-Sponsorship.github.io
LogicalOverflow/nixpkgs
Nix Packages collection
LogicalOverflow/oapi-codegen
Generate Go client and server boilerplate from OpenAPI 3 specifications
LogicalOverflow/ocaml-caqti
Cooperative-threaded access to relational data
LogicalOverflow/opam-nix
Turn opam-based OCaml projects into Nix derivations
LogicalOverflow/open-letter
an open letter to the NixOS foundation
LogicalOverflow/org-roam-ui
A graphical frontend for exploring your org-roam Zettelkasten
LogicalOverflow/pinnacle
A WIP Smithay-based Wayland compositor, inspired by AwesomeWM and configured in Lua or Rust
LogicalOverflow/pkg
Simple, minimal dependency manager based on Git
LogicalOverflow/radius
radius2 is a fast binary emulation and symbolic execution framework using radare2
LogicalOverflow/rizin-evm
A rizin Plugin for EVM bytecode with minimal analysis, based in the radare2 plugin
LogicalOverflow/smithay
A smithy for rusty wayland compositors
LogicalOverflow/sophia_rs
Sophia: a Rust toolkit for RDF and Linked Data
LogicalOverflow/ssb
Secure Shell Bruteforcer — A faster & simpler way to bruteforce SSH server
LogicalOverflow/systemd
The systemd System and Service Manager
LogicalOverflow/tonic
A native gRPC client & server implementation with async/await support.
LogicalOverflow/wasmi
WebAssembly (Wasm) interpreter.
LogicalOverflow/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
LogicalOverflow/x86doc
HTML/CHM representation of the x86/x64 Instruction Set Reference