fabiomadge Goto Github PK

anticipator

Hard- and software installation designed to anticipate the movement of a sphere on an even surface.

anticipator-input

Utility to emulate real input to anticipator

arbeiten

Papers and theses written for university.

automat

Implementation of my own language to describe a finite-state machine

aws-cryptographic-material-providers-library

AWS Cryptographic Material Providers Library

aws-encryption-sdk-dafny

AWS Encryption SDK for Dafny

coyote-samples

Get started with Coyote with these simple introductory sample projects.

dafny

Dafny is a verification-aware programming language

dierauber

Lesetagebuch

evp

fabiomadge.github.io

fakultaet

Simple multicore factorial

foodfinder

API to serve timely information on the food offered on Garching campus

graph

Simple Graphs

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

ide-vscode

VSCode IDE Integration for Dafny

info2-ha

programming exercises for the info2 lecture

javaboilerplate

Simple Java boilerplate for use in the Unix terminal.

jsonviewer

WebApp to Edit a specific json

kaffeerunde

Simulation of the usage of a coffeemaker.

kramdown

kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.

libmoepgf

High-performance Finite Field Library for x86 and ARM

lightmaster

I2C master for a corporate project

linkedlist

Implementation of a linked list in Java.

notenbogen

Grade sheet designed for the Qualifikationsstufe in Bavaria

pages-gem

A simple Ruby Gem to bootstrap dependencies for setting up and maintaining a local Jekyll environment in sync with GitHub Pages

parareal

perlenkette

Some extended homework

phonebook

Simple Phonebook

primzahlen

Java application to write a determined number of prime numbers on the terminal.