Skip to content
View yrke's full-sized avatar

Organizations

@f-klubben @TAPAAL @DEIS-Tools @Ecdar @opaal-modelchecker @CEDARDK

Block or report yrke

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
Showing results

CSS custom properties to help accelerate adaptive and consistent design.

HTML 5,338 208 Updated Jan 31, 2026

✨ A framework-agnostic tool that converts any layout into a drag-to-swap one with just a few lines of code https://swapy.tahazsh.com/

TypeScript 8,465 178 Updated Jan 19, 2025

An ahead-of-time JavaScript compiler

JavaScript 4,510 105 Updated Mar 6, 2026

A foot switch for Copilot in VSCode

C++ 2 Updated Aug 6, 2024

Super-fast/easy runtime validators and serializers via transformation

TypeScript 5,676 211 Updated Mar 27, 2026

NestJS Helper + AI Chatbot Development

TypeScript 2,129 122 Updated Mar 28, 2026

A TypeScript implementation of the age file encryption format, available as an npm package or as a bundled .js file.

TypeScript 412 24 Updated Dec 29, 2025

SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/

Go 4,969 112 Updated Sep 4, 2024

TypeScript to bash transpiler. Because.

TypeScript 58 Updated Dec 15, 2023

TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets

6 Updated Sep 21, 2023

Create a pdf with barcodes to backup text files on paper. Designed to backup ASCII-armored GnuPG and SSH key files and ciphertext.

Python 143 19 Updated Mar 18, 2024

Paper backup generator suitable for long-term storage.

Rust 1,449 55 Updated Oct 30, 2025

Minimal CSS Framework for semantic HTML

CSS 16,483 497 Updated Mar 4, 2026

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

Java 3 13 Updated Mar 25, 2026

Single-instruction (subleq) programming game

TypeScript 114 4 Updated Mar 13, 2026

Intuitive, type-safe units of measure

Kotlin 183 8 Updated Nov 24, 2025

A pure Kotlin UI framework for the Web and Desktop.

Kotlin 790 31 Updated Nov 26, 2025

A toolbox for displaying and modifying diagrams on the web.

JavaScript 1,891 448 Updated Mar 27, 2026

A BPMN 2.0 rendering toolkit and web modeler.

JavaScript 9,488 1,456 Updated Mar 27, 2026

Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.

Python 2,742 223 Updated Mar 29, 2026

Make any web page a desktop application

TypeScript 35,349 2,245 Updated Sep 29, 2023

Probably the best and most modern layout for Java AWT/Swing

Java 10 Updated Jan 15, 2023

The best way of working with Protocol Buffers.

Go 10,994 347 Updated Mar 27, 2026

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,722 114 Updated Mar 25, 2026

The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.

HTML 7,146 456 Updated Mar 25, 2026

A simple curses library made in bash to draw terminal interfaces

Shell 980 117 Updated Jul 16, 2024

Keep your code spotless

Java 5,381 513 Updated Mar 27, 2026

🤖 Just a command runner

Rust 32,434 704 Updated Mar 28, 2026

Open Source realtime backend in 1 file

Go 57,191 3,225 Updated Mar 28, 2026

Uppaal Timed Automata Parser

C++ 13 10 Updated Oct 24, 2025
Next