Skip to content
View gfhcs's full-sized avatar
2 followers · 1 following

Block or report gfhcs

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

Popular repositories Loading

  1. ccsltsnp2013 ccsltsnp2013 Public

    This is an open source SML project to create a CCS interpreter for the Concurrent Programming Cource 2013 at Saarland University

    Standard ML

  2. cp-material cp-material Public

    Contains LaTeX documents providing summaries of key aspects of the Concurrent Programming class 2013 at Saarland University

    Graphviz (DOT)

  3. geekyguitar geekyguitar Public

    A project of the seminar "Developping embedded interactive systems with the Arduino microcontroller" at UdS in 2014

    Arduino

  4. programma-spec programma-spec Public

    In this repository, the specification for the Programma language is going to be created.

    Python

  5. dsa-board dsa-board Public

    Source code for powering a RaspberryPi-based sound board.

    Python

  6. particles particles Public

    A toy project for particle simulation. Emphasis is on features and design, performance is secondary.

    C#