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/autohest
Markov chain generator fed heste-nettet.dk
Language:Python1 1 00
falkecarlsen/airgradient-prometheus
AirGradient Prometheus exporter.
Language:C++0 0 00
falkecarlsen/mir-owner-guillotine
(MSc) Rust Borrow-Checking on MIR POC, aiming to improve accuracy
Language:Python0 1 00
falkecarlsen/amber
A code search / replace tool
Language:Rust0 0
falkecarlsen/AutoEq
Automatic headphone equalization from frequency responses
Language:Jupyter Notebook0 0
falkecarlsen/BounceAAL-rs
Language:C1 0
falkecarlsen/CLAIRE
Models published in the context of the CLAIRE project
Language:TeX0 0
falkecarlsen/cncjs
A web-based interface for CNC milling controller running Grbl, Marlin, Smoothieware, or TinyG.
Language:JavaScript0 0
falkecarlsen/DEIS-MCC
Language:Shell0 0
falkecarlsen/dotfiles
personal dots for i3 on arch
Language:Shell1 0
falkecarlsen/esus-tmv23
Language:Python
falkecarlsen/flexlog-oracle-erp
tool to bridge gap between delivered hours, (un)official flextime, and HR preferences
Language:Python1 0
falkecarlsen/GitHubGraduation-2022
Join the GitHub Graduation Yearbook and "walk the stage" on June 11.
Language:JavaScript0 0
falkecarlsen/grundfos-autonomy-demo
Exploring Unknown Environments with UPPAAL STRATEGO: Reinforcement Learning for Drone Navigation and Pump Localization
falkecarlsen/gwent-vanilla
Language:Kotlin1 51
falkecarlsen/jvm-loss
management and statistic project for coffee vending machine Wittenburg 9100
Language:Python2 14
falkecarlsen/kamstrup
Kamstrup IR-øje
Language:C++0 0
falkecarlsen/library-registry
Arduino Library Manager list
0 0
falkecarlsen/poly-battery-status
status-bar script for multi-battery systems on Linux
Language:Rust2 21
falkecarlsen/poly-battery-status-py
Language:Python2 1
falkecarlsen/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C0 0
falkecarlsen/receipt-beer-label
Language:Python1 0
falkecarlsen/rest-vaccine-tilmelder
tilmeld dig restvaccine i nordjylland
Language:Python0 0
falkecarlsen/SimpleFaceGen
A small util to generate simple faces
Language:Python0 0
falkecarlsen/stregsystemet
The very public stregsystem repo
Language:Python0 0
falkecarlsen/sway
i3-compatible Wayland compositor
Language:C0 0
falkecarlsen/taint
Thesis code
Language:Rust0 0
falkecarlsen/terraforming-mars-board
Pattern for making 2-layer laser cut player boards for the Terraforming Mars board game
0 0
falkecarlsen/titcamdk
Quick and dirty virtual machine for live stream hosting
Language:HTML0 0
falkecarlsen/VL53L5CX-Library
💽 A vl53l5cx library for esp32 using the esp-idf framework
Language:C