Skip to content
Change the repository type filter

All

    Repositories list

    • protocols

      Public
      New implementation of protocols
      Rust
      03155Updated Feb 8, 2026Feb 8, 2026
    • patronus

      Public
      work in progress, playing around with btor2 in rust
      SMT
      51220Updated Feb 6, 2026Feb 6, 2026
    • riscv.fyi

      Public
      the world's greatest RISC-V ISA reference
      TypeScript
      00100Updated Feb 6, 2026Feb 6, 2026
    • DO NOT EDIT. Deployment repository for docs.calyxir.org
      HTML
      1000Updated Feb 6, 2026Feb 6, 2026
    • P4
      0476Updated Feb 3, 2026Feb 3, 2026
    • pollen

      Public
      generating hardware accelerators for pangenomic graph queries
      Rust
      239255Updated Feb 3, 2026Feb 3, 2026
    • Math Library Generator for Calyx
      Rust
      0100Updated Feb 2, 2026Feb 2, 2026
    • adpl

      Public
      Rust
      0100Updated Jan 12, 2026Jan 12, 2026
    • polysub

      Public
      fast variable substitution for polynomials
      Rust
      0100Updated Jan 9, 2026Jan 9, 2026
    • dahlia

      Public
      Time-sensitive affine types for predictable hardware generation
      Scala
      10148290Updated Jan 5, 2026Jan 5, 2026
    • latte

      Public
      TeX
      1100Updated Dec 12, 2025Dec 12, 2025
    • a research group site
      Nunjucks
      12148Updated Dec 11, 2025Dec 11, 2025
    • caiman

      Public
      A language/compiler for the CPU/GPU interface that separates the what, when, and where of computation. Very unstable.
      Rust
      14172Updated Sep 4, 2025Sep 4, 2025
    • baa

      Public
      BitVector and Array Arithmetic library
      Rust
      1910Updated Aug 26, 2025Aug 26, 2025
    • filament

      Public
      Fearless hardware design
      Verilog
      11194827Updated Aug 20, 2025Aug 20, 2025
    • turnt

      Public
      simple snapshot-style integration testing for commands
      Python
      57560Updated May 29, 2025May 29, 2025
    • diospyros

      Public
      Search-based compiler for high-performance DSP programming
      Racket
      371124Updated Oct 29, 2024Oct 29, 2024
    • patron

      Public
      Hardware Bug Sniffer
      Rust
      0200Updated Sep 5, 2024Sep 5, 2024
    • Resource Usage Evaluation for Calyx (& its Frontends)
      C++
      0070Updated Aug 31, 2024Aug 31, 2024
    • A "fork" of pifo-trees-artifact
      OCaml
      0000Updated Aug 7, 2024Aug 7, 2024
    • file issues here if you're interested in doing research with us!
      0090Updated May 14, 2024May 14, 2024
    • Jupyter Notebook
      3614Updated May 9, 2024May 9, 2024
    • Shell
      0000Updated Mar 12, 2024Mar 12, 2024
    • xarg

      Public
      The Accelerated Accelerators Reading Group
      0200Updated Oct 25, 2023Oct 25, 2023
    • latte23

      Public
      TeX
      0100Updated Oct 20, 2023Oct 20, 2023
    • Resource Usage for Calyx designs.
      Python
      0010Updated Jun 5, 2023Jun 5, 2023
    • Filament for the best hype system
      Verilog
      0101Updated May 26, 2023May 26, 2023
    • Calyx code generators for the Advent of Code 2022
      Python
      0500Updated Jan 17, 2023Jan 17, 2023
    • Python
      0400Updated Jan 10, 2023Jan 10, 2023
    • Web demo for the Calyx compiler
      HTML
      01311Updated Jan 7, 2023Jan 7, 2023