gussmith23/lakeroad gussmith23/lakeroad

  • Stars
    star
    37
  • Rank 718,233 (Top 15 %)
  • Language
    Racket
  • License
    MIT License
  • Created over 3 years ago
  • Updated 12 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gussmith23/lakeroad
github

gussmith23

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

FPGA synthesis tool powered by program synthesis

More Repositories

1

glenside

A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://gussmith23.github.io/glenside-web-demo/
Rust
69
star
2

posit-bisection-viz

JavaScript
10
star
3

churchroad

Rust
9
star
4

textgan

PSU CSE 583 (Pattern Recognition) Spring 2018 Term Project
Python
7
star
5

tvm-custom-datatype-samples

Code samples showing how to use custom datatypes in TVM
Python
6
star
6

lakeroad-evaluation

Verilog
5
star
7

opensurf

OpenSURF, originally by Chris Evans.
C++
3
star
8

monotonic-rule-interpreter

Racket
2
star
9

babble_bot

it's that babble boy
Python
2
star
10

AndroidRTPVideoStream

Java
1
star
11

ulti-rs

Rust library implementing Ulti, the national card game of Hungary.
Rust
1
star
12

2021-04-20-mlir-experiment

Dockerfile
1
star
13

GameFramework

C++
1
star
14

glenside-hs

Haskell
1
star
15

rtml-model-characterization

Characterizing the models we care about in RTML
Jupyter Notebook
1
star
16

cv

TeX
1
star
17

dissertation

TeX
1
star
18

calc2_example_public

SystemVerilog
1
star
19

calc1_example

SystemVerilog
1
star
20

HapticBand-OpenTLD

HapticBand reworked using OpenTLD to track the object.
C
1
star