Multiplatform, mobile-focused WeeChat relay client

funq is a python framework to write FUNctional tests for Qt applications

GUI-based or Web-based JSON editor that works like property explorer

A .NET library that makes it easier to create beautiful console applications.

An open-source interoperability standard for tools and content management systems used in media production.

Batch-rename files using Vim

Media Asset Management for Python

Postgres database with different foreign data wrapper extensions installed. Datero data platform engine image.

The premier source of truth powering network automation. Open source under Apache 2. Try NetBox Cloud free: https://netboxlabs.com/free-netbox-cloud/

BROadcast-quality VIdeo CONverter

For generating a pdf-report with apache-superset charts

♾ Infisical is the open-source secret management platform: Sync secrets across your team/infrastructure, prevent secret leaks, and manage internal PKI

📖 A curated list of Awesome Userscripts.

Ticket shop application for conferences, festivals, concerts, tech events, shows, exhibitions, workshops, barcamps, etc.

Deflate in Coq

An SML library that provides access to compressed files in ZIP format.

Standard ML package for serialisation and deserialisation

A Dead Simple VPN.

Aarch64 architecture plugin

Wiki.js | A modern and powerful wiki app built on Node.js

Binary analysis in HOL

A fast and lightweight native programming language

abusing github commit history for the lulz

ACT community resources

Document all things for remote developer positions.

Patoline typesetting system

🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

Code for http://canberraair.com

Program analysis grad seminar at SU (2019)

Universal toplevel for OCaml