Lists (1)
Starred repositories
892
results
for source starred repositories
Clear filter
Public reference documents for the SMT-LIB standard
SPICE client with output in the Kitty Graphics protocol
Assignment repo for Systems Verification Fall 2024 at UW-Madison
LLVM-based, flexible, live coverage instrumentation for C/C++ code
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
continuous file synchronization program (BEP protocol implementation)
Markdown source for Michael Abrash's Zen of Assembly Language (1990)
A simple calendar with events, customizable widgets and no ads.
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Single user ActivityPub (https://www.w3.org/TR/activitypub/) server.
📚 Web app for browsing, reading and downloading eBooks stored in a Calibre database
Self-hosted audiobook and podcast server
Interactive Control Flow Graph Visualization.
Scan documents to PDF and more, as simply as possible.
Python tool for converting files and office documents to Markdown.
extract text from any document. no muss. no fuss.
a tool to facilitate sharing of secrets using SSH keys
The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows
Creates fuzzing inputs for command line programs using help options and man pages.
List of single-file C/C++ libraries, with emphasis on clause-less licenses.
A community version of the Open Decision Framework - A flexible, open approach to making decisions and leading projects