adriann Goto Github PK

2sat

A solver for 2-sat formulas

adriann.github.io

pages

bors

Integration robot for buildbot and github

dotfiles

my dotfiles

edge-connectivity

A certifying algorithm for 3-edge-connectivity.

girlsday

Presentation für den Girlsday

gpstagger

tagging photos with gps data from gpx tracks

graph6

C++ library for handling the graph6 format as introduced by Bendan McKay

greasemonkey

some user scripts for people with NoScript

kinesis-sql

Kinesis Connector for Structured Streaming

latex-compile-chapter

Chapterwise compilation for large LaTeX documents.

latex-mailmerge

A very simple tool for mailmerge tasks using LaTeX templates interspersed with Python code.

line_intersection

Detecting line segment intersections using the sweepline algorithm in Python.

linux

Linux kernel source tree

marc21

marc_vtab

SQLite virtual table implementation for reading marc21 files

marclib

models-of-computation

Lecture Notes for Models of Computation at the Saarland University

moviethingy

Helper for playing movies on a Raspberry Pi

neighborhood_grid

optimisation-ss10-uds

Lecture notes for the optimisation lecture at the Saarland University. This is of course incomplete and most likely full of mistakes. Correct us if we're wrong. Pay us in chocolate if you like this script.

physarum-cv

simple_rust_parser

smith_waterman

takemusu-aikido-berlin.de

triconnectivity

C++ implementation of Hopcroft,Tarjan's algorithm and Schmidt's certifying algorithm for 3-connectivity testing using LEDA

ureq

Minimal request library in rust.

warc

:gear: A Rust library for reading and writing WARC files