Skip to content
@cucapra

Cornell Capra

Computer architecture & programming abstractions at Cornell University.

Pinned Loading

  1. filament filament Public

    Fearless hardware design

    Verilog 168 9

  2. dahlia dahlia Public

    Time-sensitive affine types for predictable hardware generation

    Scala 138 8

  3. diospyros diospyros Public

    Search-based compiler for high-performance DSP programming

    Racket 62 3

  4. gator gator Public

    Geometry types

    OCaml 27 11

  5. styleguide styleguide Public

    rules for writing and typesetting

    SCSS 24 6

  6. turnt turnt Public

    simple snapshot-style integration testing for commands

    Python 68 3

Repositories

Showing 10 of 73 repositories
  • patronus Public

    work in progress, playing around with btor2 in rust

    cucapra/patronus’s past year of commit activity
    SMT 7 BSD-3-Clause 2 2 0 Updated Dec 20, 2024
  • 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 Dec 19, 2024
  • baa Public

    BitVector and Array Arithmetic library

    cucapra/baa’s past year of commit activity
    Rust 6 BSD-3-Clause 0 1 0 Updated Dec 19, 2024
  • latte Public
    cucapra/latte’s past year of commit activity
    TeX 0 1 0 0 Updated Dec 17, 2024
  • filament Public

    Fearless hardware design

    cucapra/filament’s past year of commit activity
    Verilog 168 MIT 9 81 (6 issues need help) 6 Updated Dec 9, 2024
  • pollen Public

    generating hardware accelerators for pangenomic graph queries

    cucapra/pollen’s past year of commit activity
    Rust 35 MIT 2 19 1 Updated Dec 8, 2024
  • calyx-nums Public
    cucapra/calyx-nums’s past year of commit activity
    Rust 0 0 0 0 Updated Dec 7, 2024
  • packet-scheduling Public
    cucapra/packet-scheduling’s past year of commit activity
    P4 3 MIT 0 17 3 Updated Dec 3, 2024
  • 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 Nov 25, 2024
  • diospyros Public

    Search-based compiler for high-performance DSP programming

    cucapra/diospyros’s past year of commit activity
    Racket 62 MIT 3 12 4 Updated Oct 29, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…