Skip to content
@cucapra

Cornell Capra

Computer architecture & programming abstractions at Cornell University.

Pinned Loading

  1. filament filament Public

    Fearless hardware design

    Verilog 182 11

  2. dahlia dahlia Public

    Time-sensitive affine types for predictable hardware generation

    Scala 145 9

  3. diospyros diospyros Public

    Search-based compiler for high-performance DSP programming

    Racket 69 3

  4. gator gator Public

    Geometry types

    OCaml 32 11

  5. styleguide styleguide Public

    rules for writing and typesetting

    SCSS 25 6

  6. turnt turnt Public

    simple snapshot-style integration testing for commands

    Python 72 5

Repositories

Showing 10 of 76 repositories
  • dahlia Public

    Time-sensitive affine types for predictable hardware generation

    cucapra/dahlia’s past year of commit activity
    Scala 145 MIT 9 28 (2 issues need help) 0 Updated Oct 9, 2025
  • calyx-nums Public
    cucapra/calyx-nums’s past year of commit activity
    Rust 0 0 0 0 Updated Oct 8, 2025
  • capra-public Public

    a research group site

    cucapra/capra-public’s past year of commit activity
    Nunjucks 1 12 4 8 Updated Oct 8, 2025
  • 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 8, 2025
  • protocols Public

    New implementation of protocols

    cucapra/protocols’s past year of commit activity
    Rust 1 MIT 0 8 3 Updated Oct 7, 2025
  • rvref Public

    the world's greatest RISC-V ISA reference

    cucapra/rvref’s past year of commit activity
    JavaScript 0 0 1 0 Updated Oct 6, 2025
  • pollen Public

    generating hardware accelerators for pangenomic graph queries

    cucapra/pollen’s past year of commit activity
    Rust 38 MIT 2 22 1 Updated Sep 30, 2025
  • adpl Public
    cucapra/adpl’s past year of commit activity
    Rust 0 0 0 0 Updated Sep 13, 2025
  • caiman Public

    A language/compiler for the CPU/GPU interface that separates the what, when, and where of computation. Very unstable.

    cucapra/caiman’s past year of commit activity
    Rust 4 MIT 1 17 2 Updated Sep 4, 2025
  • patronus Public

    work in progress, playing around with btor2 in rust

    cucapra/patronus’s past year of commit activity
    SMT 11 BSD-3-Clause 4 2 0 Updated Aug 26, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…