The financial transactions database designed for mission critical safety and performance.

Lean 4 Metamath verifier

Tool and library for generating X.509 certificates and certificate requests (mirror)

An ASCII Header Generator for Network Protocols

Ludum Dare 48 compo entry

A minimalist client for sending mail direct to recipient's MX

A lightweight C library for artificial neural networks

GNU toolchain for RISC-V, including GCC

build-once run-anywhere c library

Code for the paper "Calibrating Deep Neural Networks using Focal Loss"

✉️ Composable all-in-one mail server.

Implementation of Packrat Parser Generator algorithm

Simple C++ one-header library for the creation of animated GIFs from image data.

Unix utilities to deal with Maildir

The dum^H^H^Hsimplest encryption tool in the world.

Sandboxed kernel mode WebAssembly runtime.

Utility to find AES keys in running processes

Utility to find AES keys in running processes

Hopfield Networks is All You Need

Godot Engine – Multi-platform 2D and 3D game engine

Bringing Characters to Life with Computer Brains in Unity

Apple cctools port for Linux and *BSD

Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homomorphic encryption techniques.

HushChat stuff

πfs - the data-free filesystem!

By the Bluebook implementation of Smalltalk-80

Signcryption using libsodium.

libcurses and dependencies taken from netbsd and brought into a portable shape (at least to musl or glibc)

Crypto for Janet

Animation of the SHA-256 hash function in your terminal.