Skip to content

@cucapra Cornell Capra

Change the repository type filter

All

    Repositories list

    80 repositories

    • patronus

      Public
      work in progress, playing around with btor2 in rust
      SMT
      •
      BSD 3-Clause "New" or "Revised" License
      •7•15•7•4•Updated Jul 15, 2026Jul 15, 2026

    • calyx-docs

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

    • protocols

      Public
      New implementation of protocols
      Rust
      •
      MIT License
      •0•12•35•12•Updated Jul 14, 2026Jul 14, 2026

    • calyx-libm

      Public
      Math Library Generator for Calyx
      Rust
      •0•2•0•0•Updated Jul 14, 2026Jul 14, 2026

    • aig

      Public
      and-inverter graphs in rust for formal verification / circuit synthesis
      Rust
      •0•0•0•1•Updated Jul 14, 2026Jul 14, 2026

    • adpl

      Public
      Rust
      •0•1•0•0•Updated Jul 8, 2026Jul 8, 2026

    • packet-scheduling

      Public
      OCaml
      •
      MIT License
      •0•7•10•6•Updated Jul 7, 2026Jul 7, 2026

    • pollen

      Public
      generating hardware accelerators for pangenomic graph queries
      bioinformaticsgfapangenomics
      bioinformaticsgfapangenomics
      Rust
      •
      MIT License
      •3•45•29•5•Updated Jul 1, 2026Jul 1, 2026

    • capra-public

      Public
      a research group site
      Nunjucks
      •12•1•4•8•Updated Jun 25, 2026Jun 25, 2026

    • baa

      Public
      BitVector and Array Arithmetic library
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •2•9•4•1•Updated Jun 22, 2026Jun 22, 2026

    • latte

      Public
      TeX
      •1•4•0•0•Updated May 29, 2026May 29, 2026

    • dahlia-rs

      Public
      Rust
      •0•1•0•0•Updated May 19, 2026May 19, 2026

    • riscv.fyi

      Public
      the world's greatest RISC-V ISA reference
      educationreferenceisa
      educationreferenceisarisc-v
      TypeScript
      •0•2•7•0•Updated May 17, 2026May 17, 2026

    • flatgfalook

      Public
      A reimplementation of gfalook using flatgfa's
      Rust
      •
      MIT License
      •2•0•0•0•Updated May 11, 2026May 11, 2026

    • polysub

      Public
      fast variable substitution for polynomials
      Rust
      •
      MIT License
      •0•2•0•0•Updated Feb 24, 2026Feb 24, 2026

    • dahlia

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

    • 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

    • filament

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

    • turnt

      Public
      simple snapshot-style integration testing for commands
      testingtap
      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•73•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
      research
      0•1•8•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.