Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
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.
π Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/
MCP Server for kubernetes management commands
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.
Fast and extensible multi-platform HTTP/1-2-3 web server with automatic HTTPS
Useful Northeastern resources and links; a Student Hub alternative
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 all-batteries-included GitHub SDK for Browsers, Node.js, and Deno.
GitHub webhook events toolset for Node.js
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