#
Starred repositories
crypto-agda / crypto-agda
Forked from np/crypto-agdaCryptographic 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 Rust Embedded-HAL for the rp series microcontrollers
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.
Time-sensitive affine types for predictable hardware generation
Intermediate Language (IL) for Hardware Accelerator Generators
List of awesome open source hardware tools, generators, and reusable designs
A lighweight and parallel snapshot testing framework in rust