hi-rai

CompilersLab

DbmsLab

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

HerbrandEquivalence

LLVM implementation of Herbrand Equivalence algorithm

HerbrandEquivalenceLLVMDocs

Doxygen documentation for LLVM implementation of Herbrand Equivalence Algorithm

HerbrandEquivalenceToyDocs

Doxygen documentation for Toy Language implementation of Herbrand Equivalence algorithm

himanshu520

Config files for my GitHub profile.

ImageSegmentation

MonoPong

FPGA based single player game

Simple-Pendulum

Simulations of non-linear simple pendulum

UVa-OJ

Solutions to solved UVa Online Judge problems

hi-rai/Simple-Pendulum

Simulations of non-linear simple pendulum

hi-rai/MonoPong

FPGA based single player game

hi-rai/UVa-OJ

Solutions to solved UVa Online Judge problems

hi-rai/CompilersLab

hi-rai/DbmsLab

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

hi-rai/HerbrandEquivalence

LLVM implementation of Herbrand Equivalence algorithm

hi-rai/HerbrandEquivalenceLLVMDocs

Doxygen documentation for LLVM implementation of Herbrand Equivalence Algorithm

hi-rai/HerbrandEquivalenceToyDocs

Doxygen documentation for Toy Language implementation of Herbrand Equivalence algorithm

hi-rai/himanshu520

Config files for my GitHub profile.

hi-rai/ImageSegmentation

hi-rai/jsoneditor

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

hi-rai/MuftEducation.in

hi-rai/OsLab

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

hi-rai/ParallelProgramming