Cryptographic Constructions in the Type Theory of Agda

High accuracy derivatives, estimated via numerical finite differences (formerly FDM.jl)

Modern C++14 library for the development of real-time graphical applications

A Julia package for large-scale tensor computations, with a hint of category theory

A native implementation of ØMQ in Rust

🦀 + SlimeVR = 💖

Rezk completion

A Rust Embedded-HAL for the rp series microcontrollers

The Halo2 zero-knowledge proving system

Kernel density estimation in Rust.

About A collection of AWESOME things about information geometry Topics

Effects-based direct-style IO for multicore OCaml

Traits and utilities for working with finite fields.

Automatic differentiation of implicit functions

Julia Package for MRI Reconstruction

Robust implementation for random-walk Metropolis-Hastings algorithms

Julia package for Gaussian quadrature

adaptive 1d numerical Gauss–Kronrod integration in Julia

Implementation of normalising flows and constrained random variable transformations

GNU Radio OOT module implementing the LoRa PHY, based on https://github.com/matt-knight/research/tree/master/2016_05_20_jailbreak

Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.

A core language for rule-based hardware design 🦑

Time-sensitive affine types for predictable hardware generation

Intermediate Language (IL) for Hardware Accelerator Generators

Circuit IR Compilers and Tools

Fearless hardware design

List of awesome open source hardware tools, generators, and reusable designs

Easy SMT solver interaction

A lighweight and parallel snapshot testing framework in rust