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,334 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,469 178 Updated Jan 19, 2025

An ahead-of-time JavaScript compiler

JavaScript 4,504 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,614 208 Updated Mar 25, 2026

NestJS Helper + AI Chatbot Development

TypeScript 2,128 121 Updated Mar 25, 2026

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

TypeScript 411 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,968 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,451 55 Updated Oct 30, 2025

Minimal CSS Framework for semantic HTML

CSS 16,477 496 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 182 8 Updated Nov 24, 2025

A pure Kotlin UI framework for the Web and Desktop.

Kotlin 791 31 Updated Nov 26, 2025

A toolbox for displaying and modifying diagrams on the web.

JavaScript 1,891 446 Updated Mar 24, 2026

A BPMN 2.0 rendering toolkit and web modeler.

JavaScript 9,491 1,454 Updated Mar 24, 2026

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

Python 2,741 222 Updated Mar 25, 2026

Make any web page a desktop application

TypeScript 35,359 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,989 348 Updated Mar 25, 2026

The TypeScript implementation of Connect: Protobuf RPC that works.

TypeScript 1,719 114 Updated Mar 25, 2026

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

HTML 7,142 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,379 513 Updated Mar 25, 2026

🤖 Just a command runner

Rust 32,374 705 Updated Mar 26, 2026

Open Source realtime backend in 1 file

Go 57,129 3,221 Updated Mar 19, 2026

Uppaal Timed Automata Parser

C++ 13 10 Updated Oct 24, 2025
Next