Skip to content
@cucapra

Cornell Capra

Computer architecture & programming abstractions at Cornell University.

Pinned Loading

  1. filament filament Public

    Fearless hardware design

    Verilog 194 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 39 2

  5. packet-scheduling packet-scheduling Public

    P4 4

Repositories

Showing 10 of 77 repositories
  • protocols Public

    New implementation of protocols

    cucapra/protocols’s past year of commit activity
    Rust 4 MIT 0 15 4 Updated Feb 14, 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 2 0 Updated Feb 13, 2026
  • adpl Public
    cucapra/adpl’s past year of commit activity
    Rust 1 0 0 0 Updated Feb 12, 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 12, 2026
  • polysub Public

    fast variable substitution for polynomials

    cucapra/polysub’s past year of commit activity
    Rust 1 MIT 0 0 0 Updated Feb 12, 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 11, 2026
  • packet-scheduling Public
    cucapra/packet-scheduling’s past year of commit activity
    P4 4 MIT 0 7 6 Updated Feb 10, 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 0 Updated Feb 10, 2026
  • pollen Public

    generating hardware accelerators for pangenomic graph queries

    cucapra/pollen’s past year of commit activity
    Rust 39 MIT 2 25 5 Updated Feb 9, 2026
  • dahlia Public

    Time-sensitive affine types for predictable hardware generation

    cucapra/dahlia’s past year of commit activity
    Scala 148 MIT 10 29 (2 issues need help) 0 Updated Jan 5, 2026
View all repositories

Most used topics

Loading…