Starred repositories
Simple, reliable, and efficient distributed task queue in Go
This is the top-level project for the PULPissimo Platform. It instantiates a PULPissimo open-source system with a PULP SoC domain, but no cluster.
Chris Titus Tech's Windows Utility - Install Programs, Tweaks, Fixes, and Updates
Convert Verilog to a Hardcaml design
AXI, AXI stream, Ethernet, and PCIe components in System Verilog
High precision Calculator MCP Server that implements a robust calculator with precise decimal arithmetic and trigonometric functions. Support for multiple operands and configurable precision using …
Haskell monad transformer for weighted, non-deterministic computation
A smart A* search monad transformer which supports backtracking user-state!
Open weights language model from Google DeepMind, based on Griffin.
An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
Hardcaml_zprize implements high performance, open source cryptographic solutions for large scale number theoretic transforms (NTT) and multi-scalar multiplications (MSM) in Hardcaml. Originally dev…
Code release for LightMamba accepted by DATE 2025
Static timing analysis (STA) is a method of validating the timing performance of a design by checking all possible paths for timing violations. STA breaks a design down into timing paths, calculate…
Brevitas: neural network quantization in PyTorch
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Opam repository for the development version of Jane Street packages
A standardized test harness for Hardcaml
