A tool for taking Markdown notes

Útvarpið á Discord

The engine accepts Petri nets in XML format and verifies a reachability query and aims to provide a fast untimed engine for TAPAAL.

Verification engine for TAPAAL that uses the discrete semantics and supports EF, AG, EG and AF queries also for nets with weighted arcs but only with closed intervals.

Eitt stað borgarar kunnu fylgja við hvussu lógin verður broytt og av hvørjum

Run Sprotin.fo dictionary from Terminal

Compare texts

Just a simple chrome extension that makes my life a little bit easier.

Angular Digital Clock

🔈 Sonos Media Player Interface/Client

Function for AWS Lambda to extract zip files uploaded to S3

Docker for Laravel in a CI environment with Python

Modal/Dialog component crafted for Angular (Ivy-compatible)

A CLI tool for integrating Tailwind CSS into Angular-CLI projects

A "work in progress" command for bashrc

The Flix Programming Language

y86-64 simulator and assembler written in Javascript.