Lists (5)
Sort Name ascending (A-Z)
Stars
CSS custom properties to help accelerate adaptive and consistent design.
✨ 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/
Super-fast/easy runtime validators and serializers via transformation
A TypeScript implementation of the age file encryption format, available as an npm package or as a bundled .js file.
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/
TAPAAL is a tool for modelling, simulation and verification of Timed-Arc Petri nets
Create a pdf with barcodes to backup text files on paper. Designed to backup ASCII-armored GnuPG and SSH key files and ciphertext.
Paper backup generator suitable for long-term storage.
TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.
Single-instruction (subleq) programming game
A pure Kotlin UI framework for the Web and Desktop.
A toolbox for displaying and modifying diagrams on the web.
A BPMN 2.0 rendering toolkit and web modeler.
Persistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.
Make any web page a desktop application
Probably the best and most modern layout for Java AWT/Swing
The TypeScript implementation of Connect: Protobuf RPC that works.
The most intuitive Static Site CMS designed for SEO-optimized and privacy-focused websites.
A simple curses library made in bash to draw terminal interfaces