Skip to content
You must be logged in to sponsor sillydan1

Become a sponsor to Asger Gitz-Johansen

Thanks for your consideration! I am a passionate young software engineer who want's to make the world a better place. I strive to make quality tools that are easy to use, contribute to and maintain.

I have special interests and many years of experience in creating formal verification tools and embedded systems. I believe it should be possible to marry those two fields and create a model-based-development platform that is suited for embedded devices and systems.
I also have some interest in video game development, but that has recently taken a back seat.

I am based in Denmark and have a full-time job to support me and is financially stable so don't feel any pressure to sponsor me. If that doesn't deter you and you still want to throw a buck or two my way, I can use that to do more quality support and maybe even add more projects under my belt.

Featured work

  1. sillydan1/graphedit

    The extendable graph editor

    Java 6
  2. sillydan1/aaltitoad

    Extendable verification engine and simulator for Tick Tock Automata constructs

    C++ 6
  3. sillydan1/expr

    Simple variable and environment manipulation language

    C++ 1
  4. sillydan1/ctl-expr

    An extension of expr that recognises Computation Tree Logic

    C++ 1
  5. sillydan1/avrcpp

    Development utilities for AVR development in C/C++

    C++ 1
  6. sillydan1/flashlib

    Simple PIC32 flash memory utility library with emulated eeprom access

    C

Select a tier

$ a month

Choose a custom amount.