Owner
cucapra
36 indexed repositories · View on GitHub
-
filament
Fearless hardware design
Verilog · 209 stars
-
dahlia
Time-sensitive affine types for predictable hardware generation
Scala · 152 stars
-
turnt
simple snapshot-style integration testing for commands
Python · 77 stars
-
diospyros
Search-based compiler for high-performance DSP programming
Racket · 73 stars
-
approx-vision
Designing image processing hardware and software for computer vision
C++ · 66 stars
-
pollen
generating hardware accelerators for pangenomic graph queries
Rust · 45 stars
-
EventQueue
EQueue Dialect
MLIR · 43 stars
-
lambdalab
interactive λ-calculus for learning
TypeScript · 38 stars
-
gator
Geometry types
OCaml · 37 stars
-
braid
a multi-stage heterogeneous programming language applied to real-time 3D graphics
TypeScript · 27 stars
-
styleguide
rules for writing and typesetting
SCSS · 26 stars
-
protocols
New implementation of protocols
Rust · 15 stars
-
patronus
work in progress, playing around with btor2 in rust
SMT · 15 stars
-
gem5-mesh
Fork of gem5 with support for manycore architectures. Includes models and scripts to evaluate a software-defined-vector architecture.
C++ · 13 stars
-
node-llvmc
JavaScript/TypeScript FFI bindings for the LLVM C API
TypeScript · 12 stars
-
hyacinth
Synthesizing compiler for spatial computation
C++ · 10 stars
-
baa
BitVector and Array Arithmetic library
Rust · 9 stars
-
TeX · 9 stars
-
polyphemus
A Cyclops managing FPGA execution in the clouds
Python · 6 stars
-
Jupyter Notebook · 6 stars
- 16 more repositories live on View on GitHub
-
cucapra/js-to-ts-synthesis#2 · 6 comments · 0 reactions · 1 assignee ·
-
Some relevant papers Open
cucapra/js-to-ts-synthesis#5 · 3 comments · 1 reaction · 0 assignees ·
-
cucapra/js-to-ts-synthesis#8 · 3 comments · 0 reactions · 1 assignee ·
-
cucapra/js-to-ts-synthesis#9 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/js-to-ts-synthesis#11 · 0 comments · 0 reactions · 1 assignee ·
-
cucapra/js-to-ts-synthesis#14 · 0 comments · 0 reactions · 1 assignee ·
-
cucapra/node-llvmc#1 · 2 comments · 0 reactions · 0 assignees ·
-
cucapra/node-llvmc#3 · 6 comments · 0 reactions · 0 assignees ·
-
cucapra/node-llvmc#4 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/node-llvmc#5 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/braid-game#1 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/lambdalab#2 · 2 comments · 0 reactions · 0 assignees ·
-
ASTs in browser Open
cucapra/lambdalab#3 · 2 comments · 0 reactions · 0 assignees ·
-
cucapra/approx-vision#9 · 0 comments · 0 reactions · 0 assignees ·
-
Add vvadd example Open
cucapra/hb-examples#1 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/hb-examples#3 · 1 comment · 0 reactions · 0 assignees ·
-
Feature wish list Opentracker
-
Emulation backend Open
-
Simple type checking Openusability
-
Expand test suite Open
-
feature
-
usability
-
feature
-
Execute tests on F1 Open
-
Hacktober Fest
cucapra/hyacinth#3 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/hyacinth#5 · 0 comments · 0 reactions · 0 assignees ·
-
cucapra/hyacinth#9 · 1 comment · 0 reactions · 0 assignees ·
-
Hacktober Fest
cucapra/hyacinth#12 · 0 comments · 0 reactions · 0 assignees ·
-
Rewrite emit in C++ Open
cucapra/hyacinth#13 · 0 comments · 0 reactions · 0 assignees ·