falkecarlsen

MSc compsci | research assistant @DEIS-Tools | developer @CEDARDK

@deis-tools @cedardk @f-klubbenAalborg

Pinned Repositories

cellmata
programming language for effectively writing cellular automata
Language:Kotlin5 2 710
CGAAL
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
Language:Rust10 3 551
WordAAL
Interactive UPPAAL playing Wordle demo
Language:Svelte0 1 80
autohest
Markov chain generator fed heste-nettet.dk
Language:Python1 1 00
blkbox
dotfiles and configs from aging, botched server
Language:JavaScript1 1 10
chwifi
network profile manager for wireless networks with rolling password systems
Language:Shell7 2 371
datchain
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Language:Java2 1 10
gitCourse
Language:C2 3 00
masking-tape-game
a silly real-world game to play with minimal setup and materials needed
Language:TeX0 1 20
mir-owner-guillotine
(MSc) Rust Borrow-Checking on MIR POC, aiming to improve accuracy
Language:Python0 1 00

falkecarlsen's Repositories

falkecarlsen/datchain
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Language:Java2 1 10
falkecarlsen/gitCourse
Language:C2 3 00
falkecarlsen/blkbox
dotfiles and configs from aging, botched server
Language:JavaScript1 1 10
falkecarlsen/algorithms
implementations of popular algorithms for practice
Language:Python0 1 00
falkecarlsen/ardlang
Language:Java1 0
falkecarlsen/badgie-dotfiles
Personal configuration files for various packages in Arch
Language:Python0 0
falkecarlsen/chwifi-git
PKGBUILD and related files for distributing chwifi on AUR
Language:Shell1 0
falkecarlsen/chwifi-py
A Python port of chwifi in Bash
Language:Python0 01
falkecarlsen/cogitantium.github.io
Code that'll help you kickstart a personal website that showcases your work as a software developer.
Language:HTML1 0
falkecarlsen/corrupter
Simple image glitcher suitable for producing nice looking lockscreens
Language:Go
falkecarlsen/dat03-su
personal notes for System Development (SU18) course
Language:TeX1 0
falkecarlsen/datchain.bak
collaborative university project on utilising Proof-of-Authority and blockchain technology for managing identities
Language:Java
falkecarlsen/dmi-weather
Language:Python1 0
falkecarlsen/dsn-web-client-server-py
threaded web-client and -server project for Distributed Systems and Networks course
Language:Python1 0
falkecarlsen/gitCoursev2
Language:C2 0
falkecarlsen/i3blocks-contrib
Official repository for community contributed blocklets
Language:Python0 0
falkecarlsen/impr
personal repository for first semester imperative programming course
Language:C
falkecarlsen/itxflex
Language:Shell
falkecarlsen/oop
personal repository for second semester object oriented programming course
Language:Java
falkecarlsen/restful-web-service-py
restful web service project for Distributed Systems and Networks course
Language:Python1 0
falkecarlsen/slext
Unofficial browser extension for extending the online LaTeX editor Overleaf
Language:TypeScript0 0
falkecarlsen/thinkpython
personal repository for learning python through Think Python
Language:Python
falkecarlsen/twilight-imperium
personal repository for second semester object oriented programming course
Language:Java1 0
falkecarlsen/utterance
General purpose script for logging used words and phrases
Language:Python0 0
falkecarlsen/wttr-block
i3blocks weather block for geolocated wttr.io powered status
Language:Python1 0
falkecarlsen/xv6-public
xv6 OS
Language:C2 0