Skip to content
@cucapra

Cornell Capra

Computer architecture & programming abstractions at Cornell University.

Pinned Loading

  1. filament filament Public

    Fearless hardware design

    Verilog 215 13

  2. dahlia dahlia Public

    Time-sensitive affine types for predictable hardware generation

    Scala 152 11

  3. styleguide styleguide Public

    rules for writing and typesetting

    SCSS 26 6

  4. pollen pollen Public

    generating hardware accelerators for pangenomic graph queries

    Rust 45 3

  5. packet-scheduling packet-scheduling Public

    Python 9

  6. protocols protocols Public

    New implementation of protocols

    Rust 15

Repositories

Showing 10 of 82 repositories
  • protocols Public

    New implementation of protocols

    cucapra/protocols's past year of commit activity
    Rust 15 MIT 0 49 10 Updated Nov 7, 2026
  • patronus Public

    work in progress, playing around with btor2 in rust

    cucapra/patronus's past year of commit activity
    SMT 16 BSD-3-Clause 8 5 3 Updated Nov 3, 2026
  • calyx-libm Public

    Math Library Generator for Calyx

    cucapra/calyx-libm's past year of commit activity
    Rust 2 0 1 0 Updated Nov 3, 2026
  • adpl Public
    cucapra/adpl's past year of commit activity
    Rust 1 0 0 0 Updated Oct 28, 2026
  • rewrite-dsl Public
    cucapra/rewrite-dsl's past year of commit activity
    Rust 0 0 4 1 Updated Oct 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 Oct 26, 2026
  • raig Public

    and-inverter graphs in rust for formal verification / circuit synthesis

    cucapra/raig's past year of commit activity
    Rust 3 MIT 0 8 0 Updated Oct 24, 2026
  • raig-benchmarks Public

    a repo for benchmarking the runtime and memory of raig against similar projects

    cucapra/raig-benchmarks's past year of commit activity
    0 MIT 0 0 0 Updated Oct 24, 2026
  • capra-public Public

    a research group site

    cucapra/capra-public's past year of commit activity
    Nunjucks 1 12 4 8 Updated Oct 11, 2026
  • undergrad-research Public

    file issues here if you're interested in doing research with us!

    cucapra/undergrad-research's past year of commit activity
    1 0 21 0 Updated Oct 5, 2026
View all repositories

Top languages

Loading…

Most used topics

Loading…