Manythread RISC-V overlay for FPGA clusters
☆39Sep 16, 2025Updated 5 months ago
Alternatives and similar repositories for tinsel
Users that are interested in tinsel are comparing it to the libraries listed below
Sorting:
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Exampwe of ewwonyenyonyuns code:☆15Sep 25, 2019Updated 6 years ago
- anything can be numbers, numbers can be anything... What does data look like, in color and in 3D.☆15Oct 30, 2024Updated last year
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- Hybrid BFS on Xilinx Zynq☆18Jun 9, 2015Updated 10 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Dec 31, 2020Updated 5 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Category theory formalized in cubical agda☆21Feb 16, 2020Updated 6 years ago
- Open-channel SSD on Cosmos-plus OpenSSD☆24Sep 11, 2018Updated 7 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Typing the linear pi calculus in Agda☆29Mar 15, 2022Updated 3 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- Linear Dependent Types for Differential Privacy TypeChecker☆32Jan 25, 2020Updated 6 years ago
- MathLib DAC 2023 version☆13Sep 11, 2023Updated 2 years ago
- Implementation of NIPS2023: Unleashing the Full Potential of Product Quantization for Large-Scale Image Retrieva☆11Nov 12, 2024Updated last year
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- Python script that will take two manga pages, identify all the regions where the two are different, and let you choose which parts of whi…☆10Mar 28, 2021Updated 4 years ago
- A simple tool to explore a TrueType font content as a tree☆30Jan 4, 2022Updated 4 years ago
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- 3D simulation for a flock of boids in Rust☆29Sep 12, 2022Updated 3 years ago
- A verified, modern, hardened memory allocator. [maintainer=@cmovcc]☆45Jan 24, 2026Updated last month
- 💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.☆12Feb 14, 2019Updated 7 years ago
- A repository for the material of my course on lambda-calculus and categories☆44Jan 11, 2021Updated 5 years ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- ☆11Oct 25, 2024Updated last year
- A simple helper to transform Markdown links to intra-doc links in Rust projects when appropriate.☆37Dec 2, 2020Updated 5 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Efficient Bloom filters for OCaml☆38Jan 3, 2022Updated 4 years ago
- Bluespec SystemVerilog library for use of the IBM Coherent Accelerator-Processor Interface (CAPI)☆11May 25, 2016Updated 9 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- SPIR-V fragment shader GPU core based on RISC-V☆44May 26, 2021Updated 4 years ago
- BlueDBM hw/sw implementation using the bluespecpcie PCIe library☆12Dec 25, 2022Updated 3 years ago
- A detailed guide for setting up NVMeOF in qemu, debugging using gdb and tracing packets via wireshark☆42Jan 4, 2018Updated 8 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Releasing open-sourced version of the code used in the paper "Perceptron-based Prefetch Filtering (ISCA 2019)"☆10May 27, 2022Updated 3 years ago