A Proof-oriented Programming Language

The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials

The core OCaml system: compilers, runtime system, base libraries

Self-host your own digital island

android app for offline upi payments using *99# service

A custom parser/auto-formatter for Standard ML

a high performance library for building cache simulators

ACL2 System and Books as Maintained by the Community

DyninstAPI: Tools for binary instrumentation, analysis, and modification.

Example usage of Dyninst

📚 Modern C++ Tutorial: C++11 to C++26 On the Fly | https://changkun.de/modern-cpp/

MCP Server for kubernetes management commands

Network inspector for your backend

Preswald is a WASM packager for Python-based interactive data apps: bundle full complex data workflows, particularly visualizations, into single files, runnable completely in-browser, using Pyodide…

an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM

Envision a future where everyone can read all the code of an educational operating system.

CS assignment / grade mangement system

[WIP] OpenSource ATS

A basic Raft implementation in Go.

Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS

Useful Northeastern resources and links; a Student Hub alternative

My website

Using Large Language Models for Repo-wide Type Prediction

Modern email for teams and professionals. A replacement for outdated email technology and tools. Alt to hey.com, front.com, missiveapp.com

The official Next.js library for Axiom.

Web framework built on Web Standards

The all-batteries-included GitHub SDK for Browsers, Node.js, and Deno.

GitHub webhook events toolset for Node.js

CLI tool for running Yeoman generators

A fast static site generator in a single binary with everything built-in. https://www.getzola.org