Highlights
- Pro
Lists (1)
Starred repositories
A recursive C preprocessor macro which performs an operation on each element of a list
A miniature library for struct-field reflection in C++
Contains notes that I made in some of my courses [at IIT-K].
2
Updated May 31, 2024
Inefficient JAVA compiler implementation in python
Git mirror of https://isabelle.in.tum.de/repos/isabelle
Go implementation of the Ethereum protocol
🔩 A set of Notion automation tools using the Notion API
An NLP system for generating reading comprehension questions
Fast, easy and reliable testing for anything that runs in a browser.
Frontend for RAS portal of SPO IITK in NextJS
Content delivery system for RAS portal of SPO IITK in golang
Hello world in every computer language. Thanks to everyone who contributes to this, make sure to see contributing.md for contribution instructions!
🌒 Light and dark blog theme for Jekyll, inspired by Dash UI for Atom.
A python script to extract slides from a presentation video
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
The fantastic ORM library for Golang, aims to be developer friendly