Pinned Repositories
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
DieRauber
Lesetagebuch
Fakultaet
Simple multicore factorial
LightMaster
I2C master for a corporate project
parareal
TutorRemote
Teaching tool to relay keyboard input
fabiomadge's Repositories
fabiomadge/Fakultaet
Simple multicore factorial
fabiomadge/anticipator
Hard- and software installation designed to anticipate the movement of a sphere on an even surface.
fabiomadge/anticipator-input
Utility to emulate real input to anticipator
fabiomadge/Arbeiten
Papers and theses written for university.
fabiomadge/Automat
Implementation of my own language to describe a finite-state machine
fabiomadge/aws-cryptographic-material-providers-library
AWS Cryptographic Material Providers Library
fabiomadge/coyote-samples
Get started with Coyote with these simple introductory sample projects.
fabiomadge/LightMaster
I2C master for a corporate project
fabiomadge/parareal
fabiomadge/TutorRemote
Teaching tool to relay keyboard input
fabiomadge/aws-encryption-sdk-dafny
AWS Encryption SDK for Dafny
fabiomadge/boogie
Boogie
fabiomadge/dafny
Dafny is a verification-aware programming language
fabiomadge/EVP
fabiomadge/fabiomadge.github.io
fabiomadge/FoodFinder
API to serve timely information on the food offered on Garching campus
fabiomadge/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
fabiomadge/ide-vscode
VSCode IDE Integration for Dafny
fabiomadge/info2-ha
programming exercises for the info2 lecture
fabiomadge/jsonViewer
WebApp to Edit a specific json
fabiomadge/kramdown
kramdown is a fast, pure Ruby Markdown superset converter, using a strict syntax definition and supporting several common extensions.
fabiomadge/libmoepgf
High-performance Finite Field Library for x86 and ARM
fabiomadge/linkedList
Implementation of a linked list in Java.
fabiomadge/pages-gem
A simple Ruby Gem to bootstrap dependencies for setting up and maintaining a local Jekyll environment in sync with GitHub Pages
fabiomadge/push-notify-apn
Send Push Notifications from haskell using the new HTTP2 API
fabiomadge/rest
Packages for defining APIs, running them, generating client code and documentation.
fabiomadge/rmc
Rust Model Checker
fabiomadge/Seminararbeit
LaTeX project for a Bayern G8 Seminararbeit. Subject: Conic Sections
fabiomadge/SeminararbeitPraesentation
LeTeX sources for slides and handout of my Talk on conic sections
fabiomadge/smithy-dafny