Cornell Capra

Cornell Capra's repositories

approx-vision

Designing image processing hardware and software for computer vision

Language:C++MIT65 9 8

lambdalab

interactive λ-calculus for learning

Language:TypeScriptMIT35 4 2

gator

Geometry types

Language:OCaml25 8 67

styleguide

rules for writing and typesetting

Language:SCSSMIT23 7 1

braid

a multi-stage heterogeneous programming language applied to real-time 3D graphics

Language:TypeScriptMIT21 5 12

fodlam

first-order deep learning accelerator model

Language:PythonMIT18 60

polyphemus

A Cyclops managing FPGA execution in the clouds

Language:PythonMIT6 7 19

hyacinth

Synthesizing compiler for spatial computation

Language:C++MIT5 5 27

hbir

an intermediate representation for continuously reconfigurable hardware

Language:OCamlMIT4 5 27

dahlia-evaluation

Evaluation for Dahlia

Language:Jupyter Notebook3 6 23

chazz

convenient utilities for running HammerBlade in F1

Language:PythonMIT2 5 8

JpegNN

Jpeg layer added to neural network

Language:Python2 60

CapraRawCamera

Android app for collecting raw photos for computer vision

Language:JavaGPL-3.0100

cslrg

schedule for a reading group in the Computer Systems Laboratory at Cornell

Language:JavaScript1 40

hb-examples

self-contained, hackable, documented examples for HammerBlade on F1

Language:LLVMMIT1 4 4

nttstuff

several implementations of the number theoretic transform (NTT)

Language:PythonMIT1 30

verilator-starter

A simple Verilator skeleton to help you get started with simulating Verilog

Language:Shell100

wax2019

The 2019 Workshop on Approximate Computing Across the Stack

Language:JavaScript1 50

braid-game

A game prototype made using Braid.

Language:TypeScriptMIT04 1

array-vis

Racket embedded language to visualize array accesses

Language:RacketMIT060

braid-talk

a talk about the Braid, static staging, heterogeneity, and real-time graphics

Language:HTML030

circt

Circuit IR Compilers and Tools

Language:C++NOASSERTION020

dahlia-spatial-comparison

GemmNCubed benchmarks for Spatial

Language:ScalaMIT020

gpu-rodinia

Rodinia benchmark

Language:CNOASSERTION020

ImageNetV2

ImageNetV2, where jpeg_eval is where code take place

Language:Jupyter Notebook080

opal-semantics

Formal semantics for a model of Opal (https://capra.cs.cornell.edu/research/opal/)

Language:Coq040

scala-tutorial

Straightforward tutorial to Scala projects

Language:Scala060

wax2018

The 2018 Workshop on Approximate Computing Across the Stack

Language:JavaScript050

wax2020

The 2020 Workshop on Approximate Computing Across the Stack

Language:JavaScript080

XRT

Xilinx Run Time for FPGA

Language:CNOASSERTION020