Stars
VeryDiff is a tool for equivalence verification of neural networks based on differential verification using Zonotopes.
Build WPF/SwiftUI-grade web apps in Rust running on the browser, MacOS, Windows and Linux without Electron or WebView. No DOM. No CSS. No virtual DOM diffing.
An odoc driver that builds complete styled websites from .mld/.mli
Collection of test vectors for cryptographic operations
A modern, portable, easy to use crypto library.
The CORE-V CVA6 is a highly configurable, 6-stage RISC-V core for both application and embedded applications. Application class configurations are capable of booting Linux.
CI and hosting for nix-based, flakified github repos
Main repository for munin master / node / plugins
A fast type checker and language server for Python
Cado-NFS, An Implementation of the Number Field Sieve Algorithm
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance …
SécurixOS is a NixOS-based secure operating system tailored for small to medium-sized teams. It provides a minimal, hardened environment with strong isolation, reproducibility, and policy-driven co…
Ingest Dune projects to Nix, fully at eval time. No codegen, no IFD, no hardcoded hash.
The AREION public crypto permutation, implemented in Zig.
because research belongs to _everybody_
FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
A FPGA friendly 32 bit RISC-V CPU implementation
Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic.
djbsort: fast, data-oblivious sorting algorithm.
Lean 4 programming language and theorem prover