KabirSamsi
Student at @CornellCIS & researcher at @cucapra interested in programming language theory, design & compilation, algorithm design & software verification.
Cornell UniversitySan Francisco Bay Area
KabirSamsi's Stars
LambdaAK/LambdaScript
An interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
jji-bigG/cornell-course-roster
a web scrapper for the new version (fa14 and later) of the cornell course roster, and various review sites to aggregate information for our RAG academic consulting app.
ethanuppal/pulsar
Programming language for building hardware accelerators with zero-latency memory.
lalrpop/lalrpop
LR(1) parser generator for Rust
rust-lang/rust
Empowering everyone to build reliable and efficient software.
LambdaAK/CourseSphere
A course recommendation system to help people select what courses to take in college.
ocaml/ocaml
The core OCaml system: compilers, runtime system, base libraries
tree-sitter/tree-sitter
An incremental parsing system for programming tools
cucapra/packet-scheduling
calyxir/calyx
Intermediate Language (IL) for Hardware Accelerator Generators
cucapra/pollen
generating hardware accelerators for pangenomic graph queries
Saberchat/saberchat
Intranet platform infrastructure template for schools and small organizations. Currently servicing Montessori schools and student-run clubs within the East Bay.
jacktrip/jacktrip
JackTrip: multi-machine audio network performance over the Internet.
tobspr-games/shapez.io
shapez is an open source base building game on Steam inspired by factorio!