Репозиторий канала Verification For All

Public reference documents for the SMT-LIB standard

SPICE client with output in the Kitty Graphics protocol

Embedded GDB server implementation for 8-bit AVR MCU

Assignment repo for Systems Verification Fall 2024 at UW-Madison

A tiny game console for education

LLVM-based, flexible, live coverage instrumentation for C/C++ code

Sun NFS 2.0 Release

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 fast, local neural text to speech system

Minimalistic S3-backed audio library

a tool to facilitate sharing of secrets using SSH keys

Alert when users log in from new locations

The famous SGI/IRIX ElectroPaint(tm) screensaver by David Tristram, ported to Windows

MacMinix - MINIX 1.5 source for Apple's 68k Macs

Creates fuzzing inputs for command line programs using help options and man pages.

OpenBSD SiteXX Utilities