Monish Singhal's starred repositories
cosmopolitan
build-once run-anywhere c library
PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
tigerbeetle
The financial transactions database designed for mission critical safety and performance.
tillitis-key1
Board designs, FPGA verilog, firmware for TKey, the flexible and open USB security key 🔑
awesome-cosmopolitan
List of Cosmopolitan Libc related resources and projects
Tree-Generator
Help competitive programming problem setters to generate different kinds of trees :evergreen_tree:
sqlraytracer
Everyone writes a Raytracer eventually. This is mine.
bookstore-manager
simple bookstore management system using python, tkinter and mysql.
sg_noi_archive
Archive of Singapore National Olympiad in Informatics (NOI)
system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
sat-practice-tools
satpractice.tools, a website with various tools to help with SAT standardized test practice
transfer.sh
Easy and fast file sharing from the command-line.
taskbar-groups
Lightweight utility for organizing the taskbar through groups
termux-packages
A package build system for Termux.
youtube-dl
Command-line program to download videos from YouTube.com and other video sites
termux-app
Termux - a terminal emulator application for Android OS extendible by variety of packages.