The source of all my problems, redesigned

An import/export pipeline from Blender to Godot

[VLDB'26] A Cypher Fuzzer

You know those videos of herons eating snakes?

Rust LDAP3 Server Protocol Library

Rocqet proof language

Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file

Beyond file syncing and sharing, a new way to organize your files with extensible file properties and flexible views

Library to load and relocate ELF files.

An experimental pure-Rust x86 bootloader

The seL4 microkernel

The missing reverse proxy for ssh scp

Main source code repository of the Tamarin prover for security protocol verification.

A simple reverse proxy for use with Hyper and Tokio

acsccid is a PC/SC driver for Linux/Mac OS X and it supports ACS CCID smart card readers. This library provides a PC/SC IFD handler implementation and communicates with the readers through the PC/S…

pcsc-lite: PC/SC implementation

Terminal-based but modern tetromino-stacking game that is customizable and cross-platform

ACS ACOS5 Smart Card / CryptoMate64 / CryptoMate Nano: Driver and pkcs15init shared libraries for the OpenSC framework.

A OCaml generator for well-typed terms (that use their arguments).

env support for serde

CUDA on non-NVIDIA GPUs

L4Ka::Pistachio micro-kernel

An oldschool sample-based music composition tool.

OpenCV wrapper for .NET

Generating, visualizing, playing around with mazes.

Browser extension for VVZ (ETHZ)

Infomaniak DNS Authenticator plugin for certbot