mrinalwadhwa
Follow
Lists (5)
Starred repositories
Script generated finite field arithmetic for elliptic curve cryptography
NixOS modules to aid in configuring NixOS for raspberry pi products
Fancy stream processing made operationally mundane
A Hardware Description Language based on the Rust Programming Language
Rust microbenchmarking harness based on paired-testing methodology
A Python tool to enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with…
Use different Container Runtimes inside the same POD - CRUN with WASMedge
A categorized list of system calls used by popular Unix-like operating systems
libxev is a cross-platform, high-performance event loop that provides abstractions for non-blocking IO, timers, events, and more and works on Linux (io_uring or epoll), macOS (kqueue), and Wasm + W…
X.509 Certificate Linter focused on Web PKI standards and requirements.
An allocator that can track and limit memory usage.
X.509 parser written in pure Rust. Fast, zero-copy, safe.
D2 is a modern diagram scripting language that turns text to diagrams.
A compile-time pattern matching library that reverses the interpolation process of `format!`.
🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.
🤗 The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools
🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch and FLAX.
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Lightweight Postgres packaged as WASM into a TypeScript library for the browser, Node.js, Bun and Deno
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Metaprogramming, verified meta-theory and implementation of Coq in Coq
