ed25519

microlibrary X25519/Ed25519 - Ed25519 command line tools

microlibrary for the X25519 encryption system and the Ed25519 signature system, both of which use the Curve25519 elliptic curve. Curve25519 is the fastest curve in TLS 1.3, and the only curve in Wireguard, Signal, and many other applications.

zarchive-tools

tool for creating and reading zstd-compressed files

ZArchive is yet another file archive format. Think of zip, tar, 7z, etc. but with the requirement of allowing random-access reads and supporting Zstandard compression.

libcoq-reduction-effects

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

python3-django-polymodels

Polymorphic models implementation for django

A django application that provides a simple way to retrieve models type casted to their original ContentType.

haskell-clash-lib-utils

Functional hardware description language - library

Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.

librocksdb7.3

persistent Key-Value Store for Flash and RAM Storage

C++ library providing an embedded key-value store, where keys and values are arbitrary byte streams. It was developed at Facebook based on LevelDB and provides backwards-compatible support for LevelDB APIs.