Beast code in Giters

Himanshu Rai's repositories

Simulations of non-linear simple pendulum

Language:MATLABMIT400

FPGA based single player game

Language:VerilogMIT3 10

Solutions to solved UVa Online Judge problems

Language:C++100

Language:Standard ML001

This repository contains assignments and projects done during 6th semester DBMS lab

Language:SQLPL000

LLVM implementation of Herbrand Equivalence algorithm

Language:HTMLMIT010

Doxygen documentation for LLVM implementation of Herbrand Equivalence Algorithm

MIT010

Doxygen documentation for Toy Language implementation of Herbrand Equivalence algorithm

MIT010

Config files for my GitHub profile.

010

Language:Jupyter NotebookMIT000

A web-based tool to view, edit, format, and validate JSON

Language:JavaScriptApache-2.0000

Language:JavaScriptMIT000

This repository contains eXpOS code, written during 5th semester OS lab

Language:Shell000

Language:C000