Pinned Repositories
Alpha
A lazy-grounding Answer-Set Programming system
aoc
:snowflake::evergreen_tree::calendar::santa:
atlas
Automated Amortised Complexity Analysis of Self-Adjusting Data Structures
cqf
Conjunctive Query Fun, or "How to use a database for SAT solving"
docker-volume-gcs
A Docker volume plugin for Google Cloud Storage via gcsfuse
ecdh-aes-chat
Proof of concept chat program using ECDH handshake and AES encrypted messages
gothon
A Python interpreter written in Go
netrc
Parses .netrc
nur
lorenzleutgeb's Repositories
lorenzleutgeb/nur
lorenzleutgeb/radicle-nix
👾 + ❄️ = 🎆
lorenzleutgeb/abort-on-warn
lorenzleutgeb/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
lorenzleutgeb/buildbot-nix
A nixos module to make buildbot a proper Nix-CI.
lorenzleutgeb/conda-forge-pinning-feedstock
A conda-smithy repository for conda-forge-pinning.
lorenzleutgeb/conda-forge-staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
lorenzleutgeb/cosmos.nix
Nix Integration with Cosmos Projects
lorenzleutgeb/decentral.community
website for decentral.community
lorenzleutgeb/did-spec-registries
DID Spec Registry (Note)
lorenzleutgeb/gradle
Adaptable, fast automation for all
lorenzleutgeb/harmonia
Nix binary cache implemented in rust using libnix-store (maintainer: @Mic92)
lorenzleutgeb/heartwood
Mirror of ❤️🪵 Radicle Heartwood Protocol & Stack
lorenzleutgeb/home-manager
Manage a user environment using Nix [maintainer=@rycee]
lorenzleutgeb/io-reactor
Rust implementation of reactor pattern for I/O resources
lorenzleutgeb/junk
lorenzleutgeb/lix
lorenzleutgeb/logic1
Interpreted first-order logic in Python
lorenzleutgeb/logic1-feedstock
A conda-smithy repository for logic1.
lorenzleutgeb/mCaptcha
A no-nonsense CAPTCHA system with seamless UX | Backend component
lorenzleutgeb/nesbitt.io
:house_with_garden: My Homepage
lorenzleutgeb/ngipkgs
Nix packages and services for projects supported through the NGI program
lorenzleutgeb/nix
Nix, the purely functional package manager
lorenzleutgeb/nixos-infra
NixOS configurations for nixos.org and its servers
lorenzleutgeb/NixOS-Users-Against-MIC-Sponsorship.github.io
lorenzleutgeb/nixpkgs
Nix Packages collection
lorenzleutgeb/pyeda
Python EDA
lorenzleutgeb/pyeda-feedstock
A conda-smithy repository for pyeda.
lorenzleutgeb/radicle-vscode-extension
A VS Code extension bringing support for the Radicle network to your IDE.
lorenzleutgeb/test