rachitnigam
Incoming EECS professor at MIT. Creator of @calyxir. Up to no good.
Massachusetts Institute of Technology
Pinned Repositories
calyx
Intermediate Language (IL) for Hardware Accelerator Generators
dahlia
Time-sensitive affine types for predictable hardware generation
filament
Fearless hardware design
circt
Circuit IR Compilers and Tools
Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
dotfiles
Dotfiles
drracket.vim
Bringing DrRacket like features to vim
Hula-hoop
Implementation of the Hula data plane load balancing protocol
mastodon-clean-boost
runt
A lighweight and parallel snapshot testing framework in rust
rachitnigam's Repositories
rachitnigam/runt
A lighweight and parallel snapshot testing framework in rust
rachitnigam/Hula-hoop
Implementation of the Hula data plane load balancing protocol
rachitnigam/drracket.vim
Bringing DrRacket like features to vim
rachitnigam/dotfiles
Dotfiles
rachitnigam/mastodon-clean-boost
rachitnigam/rachitnigam.com
Rachit Nigam's personal website.
rachitnigam/Automata-Learning
Program that learns automata from queries and counterexamples. Based on Dana Angluin's Paper.
rachitnigam/bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
rachitnigam/directory-graph
Generates a graph of current directory in Dot language. Written in sed
rachitnigam/minihls
Dead simple HLS compiler for an imperative language
rachitnigam/RegexMatcher
An implementation of a regex matcher based on Brzozowski derivatives
rachitnigam/Snake-Game
Recreating the old snake game I used to play on my father's first Nokia phone
rachitnigam/awesome-hardware-tools
List of awesome open source hardware tools
rachitnigam/babel-anf
Babel plugin to convert javascript into A Normal Form.
rachitnigam/cgyurgyik.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
rachitnigam/compsci631
Support code for Programming Languages (COMPSCI631)
rachitnigam/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
rachitnigam/dynamic-witness
Implementation of http://eric.seidel.io/pub/nanomaly-icfp16.pdf
rachitnigam/easy-smt
Easy SMT solver interaction
rachitnigam/implemented-papers
Prototype implementations from various academic papers
rachitnigam/klipse
A simple client-side code evaluator pluggable on any web page: clojure, ruby, javascript, python, scheme, es2017, jsx, brainfuck, c++, reagent, lua, ocaml, reasonml
rachitnigam/octane
The JavaScript Benchmark Suite for the modern web
rachitnigam/PLGradSchools
rachitnigam/Prerequisite-check
This program creates a visual representation of all the pre-requisite classes that need to be taken for a specific class.
rachitnigam/pyret-lang.vim
Vim configuration for the Pyret programming language
rachitnigam/Stopify
A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
rachitnigam/stopify.org
Stopify technical demo website
rachitnigam/symbol_table
A string interner
rachitnigam/useful-stuff
Some programs I find useful.
rachitnigam/xls
XLS: Accelerated HW Synthesis