Nix Packages collection

Letters is an OCaml library for creating and sending emails over SMTP using LWT

Simple hash algorithms in OCaml

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

EasyCrypt: Computer-Aided Cryptographic Proofs

Mathematical Components

A foundational framework for modular cryptographic proofs in Coq

Yet Another Coq Library on Machine Words.

Implementation of Keccak and related functions (SHA3, SHAKE, etc.)

The CompCert formally-verified C compiler

collect activity and format as markdown for a journal

The official home of the LibVMI project is at https://github.com/libvmi/libvmi.

Julia wrapper for the performance monitoring and benchmarking suite LIKWID.

An implementation of AEGIS in the Jasmin programming language.

Higher-order optimization library

Unison's source code

Jasmin implementations of x25519

Extensions for the Zed editor

A set of examples of crypto implementations

🎈 Simple reactive notebooks for Julia

Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.

A code rewrite tool for structural search and replace that supports ~every language.

Web server in OCaml.

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

Small Device C Compiler

A Coq Tactic for Arithmetic (based on VPL)

Github Pages source code for https://sile-typesetter.org

Containers: a typeclass-based library of finite sets/maps