Skip to content

@cucapra Cornell Capra

Change the repository type filter

All

    Repositories list

    77 repositories

    • protocols

      Public
      New implementation of protocols
      Rust
      •
      MIT License
      •0•3•15•5•Updated Feb 8, 2026Feb 8, 2026

    • patronus

      Public
      work in progress, playing around with btor2 in rust
      SMT
      •
      BSD 3-Clause "New" or "Revised" License
      •5•12•2•0•Updated Feb 6, 2026Feb 6, 2026

    • riscv.fyi

      Public
      the world's greatest RISC-V ISA reference
      educationreferenceisarisc-v
      TypeScript
      •0•0•10•0•Updated Feb 6, 2026Feb 6, 2026

    • calyx-docs

      Public
      DO NOT EDIT. Deployment repository for docs.calyxir.org
      HTML
      •1•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • packet-scheduling

      Public
      P4
      •
      MIT License
      •0•4•7•6•Updated Feb 3, 2026Feb 3, 2026

    • pollen

      Public
      generating hardware accelerators for pangenomic graph queries
      bioinformaticsgfapangenomics
      Rust
      •
      MIT License
      •2•39•25•5•Updated Feb 3, 2026Feb 3, 2026

    • calyx-libm

      Public
      Math Library Generator for Calyx
      Rust
      •0•1•0•0•Updated Feb 2, 2026Feb 2, 2026

    • adpl

      Public
      Rust
      •0•1•0•0•Updated Jan 12, 2026Jan 12, 2026

    • polysub

      Public
      fast variable substitution for polynomials
      Rust
      •
      MIT License
      •0•1•0•0•Updated Jan 9, 2026Jan 9, 2026

    • dahlia

      Public
      Time-sensitive affine types for predictable hardware generation
      open-source-hardwarehigh-level-synthesisfpga-programmingdahlia
      Scala
      •
      MIT License
      •10•148•29•0•Updated Jan 5, 2026Jan 5, 2026

    • latte

      Public
      TeX
      •1•1•0•0•Updated Dec 12, 2025Dec 12, 2025

    • capra-public

      Public
      a research group site
      Nunjucks
      •12•1•4•8•Updated 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
      •
      MIT License
      •1•4•17•2•Updated Sep 4, 2025Sep 4, 2025

    • baa

      Public
      BitVector and Array Arithmetic library
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •1•9•1•0•Updated Aug 26, 2025Aug 26, 2025

    • filament

      Public
      Fearless hardware design
      fpgatype-systemhardware-description-languagehardware-accelerator
      Verilog
      •
      MIT License
      •11•194•82•7•Updated Aug 20, 2025Aug 20, 2025

    • turnt

      Public
      simple snapshot-style integration testing for commands
      testingtap
      Python
      •
      MIT License
      •5•75•6•0•Updated May 29, 2025May 29, 2025

    • diospyros

      Public
      Search-based compiler for high-performance DSP programming
      Racket
      •
      MIT License
      •3•71•12•4•Updated Oct 29, 2024Oct 29, 2024

    • patron

      Public
      Hardware Bug Sniffer
      Rust
      •
      MIT License
      •0•2•0•0•Updated Sep 5, 2024Sep 5, 2024

    • calyx-resource-eval

      Public
      Resource Usage Evaluation for Calyx (& its Frontends)
      C++
      •0•0•7•0•Updated Aug 31, 2024Aug 31, 2024

    • schedulers-in-ocaml

      Public
      A "fork" of pifo-trees-artifact
      OCaml
      •
      MIT License
      •0•0•0•0•Updated Aug 7, 2024Aug 7, 2024

    • undergrad-research

      Public
      file issues here if you're interested in doing research with us!
      research
      0•0•9•0•Updated May 14, 2024May 14, 2024

    • calyx-evaluation

      Public
      Jupyter Notebook
      •3•6•1•4•Updated May 9, 2024May 9, 2024

    • calyx-firrtl-evaluation

      Public
      Shell
      •0•0•0•0•Updated Mar 12, 2024Mar 12, 2024

    • xarg

      Public
      The Accelerated Accelerators Reading Group
      0•2•0•0•Updated Oct 25, 2023Oct 25, 2023

    • latte23

      Public
      TeX
      •0•1•0•0•Updated Oct 20, 2023Oct 20, 2023

    • calyx-share-eval

      Public
      Resource Usage for Calyx designs.
      Python
      •0•0•1•0•Updated Jun 5, 2023Jun 5, 2023

    • filament-evaluation

      Public
      Filament for the best hype system
      Verilog
      •0•1•0•1•Updated May 26, 2023May 26, 2023

    • aoc2022-calyx

      Public
      Calyx code generators for the Advent of Code 2022
      Python
      •
      MIT License
      •0•5•0•0•Updated Jan 17, 2023Jan 17, 2023

    • cidr-evaluation

      Public
      Python
      •
      MIT License
      •0•4•0•0•Updated Jan 10, 2023Jan 10, 2023

    • futil-site

      Public
      Web demo for the Calyx compiler
      HTML
      •0•1•3•11•Updated Jan 7, 2023Jan 7, 2023