adrianN/Models-of-Computation adrianN/Models-of-Computation

  • Stars
    star
    3
  • Rank 3,953,548 (Top 79 %)
  • Language
    TeX
  • Created almost 14 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
adrianN/Models-of-Computation
github

adrianN

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lecture Notes for Models of Computation at the Saarland University

More Repositories

1

adrianN.github.io

pages
HTML
29
star
2

simple_rust_parser

Rust
22
star
3

line_intersection

Detecting line segment intersections using the sweepline algorithm in Python.
Python
6
star
4

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.
6
star
5

latex-mailmerge

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

Triconnectivity

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

edge-connectivity

A certifying algorithm for 3-edge-connectivity.
Python
2
star
8

marc_vtab

SQLite virtual table implementation for reading marc21 files
Rust
2
star
9

2Sat

A solver for 2-sat formulas
Python
2
star
10

graph6

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

MovieThingy

Helper for playing movies on a Raspberry Pi
Rust
1
star
12

physarum-cv

Python
1
star
13

takemusu-aikido-berlin.de

Shell
1
star
14

marc21

Rust
1
star
15

marclib

Rust
1
star
16

girlsday

Presentation fΓΌr den Girlsday
1
star