Heman Gandhi's repositories
family-tree
Angular JS webapp for learning kinship terms
Algebra
Algebra library for groups
archive-program
The GitHub Archive Program & Arctic Code Vault
arXiv-conjectures
An attempt to find all the conjectures
BespokeSynth
Software modular synth
dicut-dijoin-conjecture
A site to try examples for the Woodhall conjecture
Hacktoberfest-2020-FizzBuzz
:jack_o_lantern: Submit creative/abstract FizzBuzz solutions in any language you want!
hemangandhi.github.io
My personal website.
HoTT-Intro
An introductory course to Homotopy Type Theory
hs-json-validator
JSON schema validator for Haskell, and the learning experience
lcs
The backend for HackRU's website. Manages the user system.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
MemeBot
A Discord bot that sends memes from Reddit.
music-lang-js
A JS implementation of a simple music scripting language
petal_coding_challenge
Coding challenge done for Petal
pgn-fork-editor
Chess Notation Editor that Allows Forking
pyhotkey
Scripts for hotkeys, reminders, and quickly accessing documents in filesystem.
sukuraberu
Japanese scrabble
the-codeless-code
Official repository for The Codeless Code translations.
tichu
Tichu card game simulations for strategy learning
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
ziglearn
Repo for https://ziglearn.org content. Get up to speed with Zig quickly.