Skip to content
View fabiomadge's full-sized avatar
9 followers · 0 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLO
BetaSend feedback

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: YOLO
BetaSend feedback
Block or Report

Block or report fabiomadge

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Jun 19, 2024

  • aws-cryptographic-material-providers-library Public

    Forked from aws/aws-cryptographic-material-providers-library

    AWS Cryptographic Material Providers Library

    C# Apache License 2.0 Updated May 23, 2024

  • smithy-dafny Public

    Forked from smithy-lang/smithy-dafny
    Java Apache License 2.0 Updated May 23, 2024

  • aws-encryption-sdk-dafny Public

    Forked from aws/aws-encryption-sdk-dafny

    AWS Encryption SDK for Dafny

    Dafny Apache License 2.0 Updated May 23, 2024

  • pages-gem Public

    Forked from github/pages-gem

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

    Ruby MIT License Updated Feb 9, 2024

  • ide-vscode Public

    Forked from dafny-lang/ide-vscode

    VSCode IDE Integration for Dafny

    TypeScript MIT License Updated May 10, 2023

  • kramdown Public

    Forked from gettalong/kramdown

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

    Ruby Other Updated Feb 7, 2023

  • fabiomadge.github.io Public

    HTML Updated Jul 6, 2022

  • homebrew-core Public

    Forked from Homebrew/homebrew-core

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

    Ruby BSD 2-Clause "Simplified" License Updated Feb 15, 2022

  • coyote-samples Public

    Forked from microsoft/coyote-samples

    Get started with Coyote with these simple introductory sample projects.

    C# Other Updated Jan 12, 2022

  • rmc Public

    Forked from model-checking/kani

    Rust Model Checker

    Rust Apache License 2.0 Updated Jan 11, 2022

  • Arbeiten Public

    Papers and theses written for university.

    TeX Updated Jul 14, 2021

  • parareal Public

    TeX Updated Jul 14, 2021

  • push-notify-apn Public

    Forked from memrange/push-notify-apn

    Send Push Notifications from haskell using the new HTTP2 API

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 15, 2021

  • libmoepgf Public

    Forked from moepinet/libmoepgf

    High-performance Finite Field Library for x86 and ARM

    Objective-C GNU Lesser General Public License v2.1 Updated Sep 7, 2019

  • TutorRemote Public

    Teaching tool to relay keyboard input

    Swift 1 Updated Dec 24, 2015

  • info2-ha Public

    programming exercises for the info2 lecture

    OCaml 2 Updated Dec 16, 2015

  • jsonViewer Public

    WebApp to Edit a specific json

    Makefile Updated Apr 1, 2015

  • LightMaster Public

    I2C master for a corporate project

    C Updated Feb 24, 2015

  • FoodFinder Public

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

    Updated Oct 4, 2014

  • rest Public

    Forked from silkapp/rest

    Packages for defining APIs, running them, generating client code and documentation.

    Haskell Updated Oct 2, 2014

  • Fakultaet Public

    Simple multicore factorial

    Java 1 Updated Jan 26, 2014

  • SeminararbeitPraesentation Public

    LeTeX sources for slides and handout of my Talk on conic sections

    TeX Updated Jan 11, 2014

  • Seminararbeit Public

    LaTeX project for a Bayern G8 Seminararbeit. Subject: Conic Sections

    TeX Updated Jan 11, 2014

  • EVP Public

    Java Updated Nov 28, 2013

  • Automat Public

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

    Java BSD 3-Clause "New" or "Revised" License Updated Oct 18, 2013

  • anticipator Public

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 9, 2013

  • anticipator-input Public

    Utility to emulate real input to anticipator

    Java BSD 3-Clause "New" or "Revised" License Updated Sep 7, 2013

  • linkedList Public

    Implementation of a linked list in Java.

    Java Updated May 8, 2013

  • Phonebook Public

    Simple Phonebook

    Haskell Updated Mar 9, 2013