Skip to content
View falkecarlsen's full-sized avatar
:shipit:
move cautiously, maintain service
:shipit:
move cautiously, maintain service
23 followers · 21 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@f-klubben @DAT1A404 @DAT2A311B @ds306e18 @d409f19 @d502e19 @DEIS-Tools @d610f20 @d702e20 @UPPAALModelChecker @CEDARDK

Block or report falkecarlsen

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

Pinned Loading

  1. chwifi chwifi Public

    network profile manager for wireless networks with rolling password systems

    Shell 7 1

  2. masking-tape-game masking-tape-game Public

    a silly real-world game to play with minimal setup and materials needed

    TeX

  3. d409f19/cellmata d409f19/cellmata Public

    programming language for effectively writing cellular automata

    Kotlin 5

  4. d702e20/CGAAL d702e20/CGAAL Public

    An on-the-fly, multi-threaded ATL model checker on concurrent game structures

    Rust 10 1

  5. mir-owner-guillotine mir-owner-guillotine Public

    (MSc) Rust Borrow-Checking on MIR POC, aiming to improve accuracy

    Python

  6. DEIS-Tools/WordAAL DEIS-Tools/WordAAL Public

    Interactive UPPAAL playing Wordle demo

    Svelte