Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by lorenzleutgeb
A curated list of projects in awesome lists by lorenzleutgeb .
https://github.com/lorenzleutgeb/docker-volume-gcs
A Docker volume plugin for Google Cloud Storage via gcsfuse
Last synced: 12 Oct 2024
https://github.com/lorenzleutgeb/atlas
Automated Amortised Complexity Analysis of Self-Adjusting Data Structures
amortized-analysis cav2021 splay-tree static-analysis type-system
Last synced: 12 Oct 2024
https://github.com/lorenzleutgeb/cqf
Conjunctive Query Fun, or "How to use a database for SAT solving"
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/ecdh-aes-chat
Proof of concept chat program using ECDH handshake and AES encrypted messages
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/aoc
:snowflake::evergreen_tree::calendar::santa:
advent-of-code advent-of-code-2017 advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2020-haskell advent-of-code-2021 puzzle
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/kmst
My solution to a challenge on the kMST problem
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/node-maildrop
A wrapper for maildrop.cc's API
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/ubvl
My files for 'Compilers' at Vienna University of Technology
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/node-statushub
A node based client for the StatusHub API
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/evc
Submission for "Introduction to Visual Computing" at Vienna University of Technology (SS2016)
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/abd
Seminar paper on Abduction and Logic Programming with some Abstract Argumentation
abduction abstract-argumentation logic-programming paper seminar
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/asp-lite
A lightweight dialect for Answer Set Programming
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/absorption
Solution to a challenge on the absorption effect in floats
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/lorenzleutgeb
A guide to my stuff on GitHub
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/3wl
Bachelor's thesis on Unit Propagation in a Lazy-Grounding ASP system
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/fp
coursework functional-programming tuwien
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/foo-droid
Our App for Google Android Camp 2013
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/pcp-vns
A VNS approach to solve the Partition Graph Coloring Problem.
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/dpw-chrome
Injects some JavaScript into dpw to make it usable with Chrome
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/ds
Submission for "Distributed Systems" at Vienna University of Technology (SS2016)
Last synced: 16 Nov 2024
https://github.com/lorenzleutgeb/node-crust
A command line REST client written in node.js
Last synced: 16 Nov 2024