rachitnigam Goto Github PK

automata-learning

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

awesome-hardware-tools

List of awesome open source hardware tools

babel-anf

Babel plugin to convert javascript into A Normal Form.

bazel_rules_hdl

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

cgyurgyik.github.io

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

compsci631

Support code for Programming Languages (COMPSCI631)

directory-graph

Generates a graph of current directory in Dot language. Written in sed

dotfiles

Dotfiles

drracket.vim

Bringing DrRacket like features to vim

dynamic-witness

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

easy-smt

Easy SMT solver interaction

golang-examples

The Syntax of Go and especially inheritance, the type system and the object-oriented characteristics are very differently as in beginner languages like Java and PHP.

hula-hoop

Implementation of the Hula data plane load balancing protocol

implemented-papers

Prototype implementations from various academic papers

interpreter-plai

Interpreter for a language which supports higher order functions and multiple let bindings

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

mastodon-clean-boost

minihls

Dead simple HLS compiler for an imperative language

octane

The JavaScript Benchmark Suite for the modern web

plgradschools

prerequisite-check

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

pyret-lang.vim

Vim configuration for the Pyret programming language

rachitnigam.com

Rachit Nigam's personal website.

regexmatcher

An implementation of a regex matcher based on Brzozowski derivatives

runt

A lighweight and parallel snapshot testing framework in rust

snake-game

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

stopify

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

stopify.org

Stopify technical demo website

symbol_table

A string interner

symbolic-differentiation

A scheme based based symbolic differentiator which can give the nth partial derivate of symbolic function