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/14/17/20 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 every student can read all the code of a teaching 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

Learn Go with test-driven development

A Multi-Raft implementation in Rust language.

An open source serverless computing platform

PartyKit simplifies developing multiplayer applications