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

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Mickkkkkkk

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. crowbar-tool crowbar-tool Public

    Forked from Edkamb/crowbar-tool

    Symbolic execution engine for ABS. Modified as part of my master's thesis, but later abandoned to focus purely on the theory.

    Kotlin

  2. Functions-lightning-talk Functions-lightning-talk Public

    A lightning talk I held in Autumn of 2022 about how everything (in a computer) can be represented by only the notion of functions and nothing else (i.e. no numbers, booleans etc).

    Python 1

  3. Objective-B-home-exam Objective-B-home-exam Public

    A home exam in the course UiO course "IN5630 – Programming Language Implementation and Formalisation" where I implemented a parser and an interpreter for the toy language "Objective B" in Haskell.

    Haskell 1