Skip to content
View rachitnigam's full-sized avatar
:shipit:
Why does this exist?
:shipit:
Why does this exist?
219 followers · 150 following

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex2Achievement: YOLOAchievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@brownplt @plasma-umass @cucapra

Block or report rachitnigam

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • compiler-and-arch Public

    Forked from KnowingNothing/compiler-and-arch

    A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

    2 Updated Oct 5, 2024

  • rachitnigam.com Public

    Rachit Nigam's personal website.

    HTML 2 7 MIT License Updated Oct 4, 2024

  • CSrankings Public

    Forked from emeryberger/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.

    Python Other Updated Jul 25, 2024

  • easy-smt Public

    Forked from elliottt/easy-smt

    Easy SMT solver interaction

    Rust Apache License 2.0 Updated Sep 4, 2023

  • runt Public

    A lighweight and parallel snapshot testing framework in rust

    snapshot-testing testing-framework
    Rust 29 1 MIT License Updated Aug 17, 2023

  • dotfiles Public

    Dotfiles

    Vim Script 2 Apache License 2.0 Updated Feb 3, 2023

  • bazel_rules_hdl Public

    Forked from hdl/bazel_rules_hdl

    Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)

    Starlark 1 Apache License 2.0 Updated Feb 1, 2023

  • xls Public

    Forked from google/xls

    XLS: Accelerated HW Synthesis

    C++ Apache License 2.0 Updated Jan 26, 2023

  • mastodon-clean-boost Public

    JavaScript 2 1 Updated Jan 2, 2023

  • symbol_table Public

    Forked from mwillsey/symbol_table

    A string interner

    Rust MIT License Updated Dec 17, 2022

  • Hula-hoop Public

    Implementation of the Hula data plane load balancing protocol

    Python 20 8 Updated Jun 16, 2022

  • awesome-hardware-tools Public

    Forked from aolofsson/awesome-opensource-hardware

    List of awesome open source hardware tools

    Updated Apr 16, 2022

  • cgyurgyik.github.io Public

    Forked from academicpages/academicpages.github.io

    Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

    JavaScript MIT License Updated May 10, 2021

  • minihls Public

    Dead simple HLS compiler for an imperative language

    Python 1 Updated Sep 11, 2020

  • compsci631 Public

    Forked from plasma-umass/compsci631

    Support code for Programming Languages (COMPSCI631)

    OCaml Updated May 12, 2020

  • PLGradSchools Public

    Forked from LeifAndersen/PLGradSchools
    Updated Jul 15, 2019

  • klipse Public

    Forked from viebel/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

    Clojure GNU General Public License v3.0 Updated Jan 10, 2019

  • Stopify Public

    Forked from nuprl/Stopify

    A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.

    JavaScript BSD 3-Clause "New" or "Revised" License Updated Dec 4, 2018

  • implemented-papers Public

    Prototype implementations from various academic papers

    Racket Updated Nov 25, 2018

  • stopify.org Public

    Forked from arjunguha/stopify.org

    Stopify technical demo website

    TypeScript BSD 3-Clause "New" or "Revised" License Updated Jun 2, 2018

  • drracket.vim Public

    Bringing DrRacket like features to vim

    syntax-highlighting vim racket ide
    Vim Script 7 Apache License 2.0 Updated May 28, 2018

  • Snake-Game Public

    Recreating the old snake game I used to play on my father's first Nokia phone

    Java 1 1 Updated Apr 12, 2018

  • Prerequisite-check Public

    This program creates a visual representation of all the pre-requisite classes that need to be taken for a specific class.

    Java Updated Apr 12, 2018

  • useful-stuff Public

    Some programs I find useful.

    Racket Updated Mar 5, 2018

  • babel-anf Public archive

    Babel plugin to convert javascript into A Normal Form.

    JavaScript Updated Dec 26, 2017

  • pyret-lang.vim Public

    Vim configuration for the Pyret programming language

    Vim Script BSD 3-Clause "New" or "Revised" License Updated Aug 25, 2017

  • octane Public

    Forked from chromium/octane

    The JavaScript Benchmark Suite for the modern web

    JavaScript BSD 3-Clause "New" or "Revised" License Updated May 22, 2017

  • dynamic-witness Public

    Implementation of http://eric.seidel.io/pub/nanomaly-icfp16.pdf

    Scala Updated Oct 27, 2016

  • RegexMatcher Public

    An implementation of a regex matcher based on Brzozowski derivatives

    Scala 1 Updated Jun 23, 2016

  • Automata-Learning Public

    Program that learns automata from queries and counterexamples. Based on Dana Angluin's Paper.

    Scala 1 Updated Jun 23, 2016