Immospider is a crawler for the Immoscout24 website.

Documentation, Resources and Python Codes for portable Astrophotography and KStars Setup with Raspberry Pi 4 and HQ 12MP Camera Module

Command line tools written in C for the MQTT-SN (MQTT for Sensor Networks) protocol

HACL*, a formally verified cryptographic library written in F*

A rust library for encoding and decoding bencode with enforced cannonicalization rules.

Web Cryptography API Examples Demo: https://diafygi.github.io/webcrypto-examples/

Reusable components for the Arduino Uno.

Curta Calculator information

Arduino Cryptography Library

configuration library for JVM languages using HOCON files

linear time regular expression matching in Java

Qemu kernel for emulating Rpi on QEMU

A tiny script to issue and renew TLS certs from Let's Encrypt

Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.

Resources for writing modern Java

Experimental stuff for vispy

Implementation of mustache.js for Java

Autonomous wireless sensor/actuator node using bluetooth modules based on CSR BlueCore chipset. See wiki for more info.

Tiny, easily embeddable HTTP server in Java.

Named operators for C++

maim (make image) takes screenshots of your desktop. It has options to take only a region, and relies on slop to query for regions. maim is supposed to be an improved scrot.

General purpose REST API client #ep14boat

Bugzilla extension that provides team management and scrum tools

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

Sentry client in C/C++

Fast math typesetting for the web.

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

seL4 specification and proofs

The seL4 microkernel