Skip to content
@cucapra

Cornell Capra

Computer architecture & programming abstractions at Cornell University.

Pinned Loading

  1. filament filament Public

    Fearless hardware design

    Verilog 197 11

  2. dahlia dahlia Public

    Time-sensitive affine types for predictable hardware generation

    Scala 148 10

  3. styleguide styleguide Public

    rules for writing and typesetting

    SCSS 25 6

  4. pollen pollen Public

    generating hardware accelerators for pangenomic graph queries

    Rust 40 2

  5. packet-scheduling packet-scheduling Public

    P4 4

Repositories

Showing 10 of 78 repositories
  • protocols Public

    New implementation of protocols

    cucapra/protocols’s past year of commit activity
    Rust 5 MIT 0 18 9 Updated Feb 26, 2026
  • calyx-libm Public

    Math Library Generator for Calyx

    cucapra/calyx-libm’s past year of commit activity
    Rust 1 0 0 0 Updated Feb 27, 2026
  • riscv.fyi Public

    the world's greatest RISC-V ISA reference

    cucapra/riscv.fyi’s past year of commit activity
    TypeScript 0 0 10 1 Updated Feb 26, 2026
  • calyx-docs Public

    DO NOT EDIT. Deployment repository for docs.calyxir.org

    cucapra/calyx-docs’s past year of commit activity
    HTML 0 1 0 0 Updated Feb 26, 2026
  • pollen Public

    generating hardware accelerators for pangenomic graph queries

    cucapra/pollen’s past year of commit activity
    Rust 40 MIT 2 25 5 Updated Feb 26, 2026
  • dahlia-rs Public
    cucapra/dahlia-rs’s past year of commit activity
    Rust 0 0 0 0 Updated Feb 26, 2026
  • latte Public
    cucapra/latte’s past year of commit activity
    TeX 1 1 0 0 Updated Feb 25, 2026
  • cucapra/packet-scheduling’s past year of commit activity
    P4 4 MIT 0 7 7 Updated Feb 24, 2026
  • patronus Public

    work in progress, playing around with btor2 in rust

    cucapra/patronus’s past year of commit activity
    SMT 12 BSD-3-Clause 6 3 0 Updated Feb 24, 2026
  • polysub Public

    fast variable substitution for polynomials

    cucapra/polysub’s past year of commit activity
    Rust 1 MIT 0 0 0 Updated Feb 24, 2026

Top languages

Loading…

Most used topics

Loading…