Skip to content
View Genlight's full-sized avatar
0 followers · 2 following
  • SDS - Setting Digital Standards
  • Vienna, Austria

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Genlight

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. wAVL-trees wAVL-trees Public

    Haskell implementation of weak AVL trees + proofs on its functional correctness and amortised runtime complexity with LiquidHaskell

    Haskell 1

  2. php_tutorial php_tutorial Public

    Tutorial für einen jungen Studenten

    PHP

  3. Moccapps Moccapps Public

    moccapps the best Prototype Mockup - Editor you have ever seen. We present to you the slim and fast editor, in which you you can operate with your team simultanously on objects.

    Java

  4. atlas atlas Public

    Fork from lorenzleutgeb/atlas

    Java

  5. liquid-heaps liquid-heaps Public

    Forked from pzp1997/liquid-heaps

    Verified Binomial and Skew Heaps Using LiquidHaskell

    Haskell

  6. vscode_devcontainer_pythonT vscode_devcontainer_pythonT Public

    testing some python devcontainers

    Python