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/docker-volume-gcs
A Docker volume plugin for Google Cloud Storage via gcsfuse
lorenzleutgeb/cqf
Conjunctive Query Fun, or "How to use a database for SAT solving"
lorenzleutgeb/atlas-examples
lorenzleutgeb/nix-flake-sync
lorenzleutgeb/atlas-hs
lorenzleutgeb/awesome-okr
A curated list about OKR (Objective - Key Results)
lorenzleutgeb/book
pest book
lorenzleutgeb/build-bundle
A "batteries included" Docker image, designed to be used for CI/CD jobs at Sclable.
lorenzleutgeb/composer-smt
lorenzleutgeb/coquille
Interactive theorem proving with Coq in vim.
lorenzleutgeb/docker-images
Official source for Docker configurations, images, and examples of Dockerfiles for Oracle products and projects
lorenzleutgeb/dockerinwsl
This Project is meant to be a minimal alternative to Docker Desktop. It uses WSL2 and the official "Docker" Container-Image (docker:dind) as a lightweight replacement for the Moby-VM.
lorenzleutgeb/domenicosolazzo
lorenzleutgeb/ena
An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
lorenzleutgeb/fp
lorenzleutgeb/git-autofixup
create fixup commits for topic branches
lorenzleutgeb/git-lab
lorenzleutgeb/gradle
Adaptable, fast automation for all
lorenzleutgeb/hledger-diff
Compares the transactions in two ledger files.
lorenzleutgeb/hledger-utils
lorenzleutgeb/jonringer
lorenzleutgeb/latexdiff
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
lorenzleutgeb/lean4
Lean 4 programming language and theorem prover
lorenzleutgeb/mediawiki
š» The collaborative editing software that runs Wikipedia. MirrorĀ fromĀ https://gerrit.wikimedia.org/g/mediawiki/core. SeeĀ https://www.mediawiki.org/wiki/Developer_access forĀ contributing.
lorenzleutgeb/nixos-vscode-server
Visual Studio Code Server support in NixOS
lorenzleutgeb/nixosx
Run macOS on QEMU/KVM. With OpenCore + Big Sur support now! Only commercial (paid) support is available.
lorenzleutgeb/programmingcats
lorenzleutgeb/purisa.me
lorenzleutgeb/string-interner
A data structure to efficiently intern, cache and restore strings.
lorenzleutgeb/tex2bib