Specula: An agentic tool for finding deep bugs in system code using TLA+

Java Protobuf implementation suitable for real-time enviroments

This repo maintains a lists of repositories for each ROS distribution

Utilities for generating GraalVM configuration files

Tooling for creating a pragmatic mix of lecture slides and lecture scripts

Runtime sandboxing for Nix

A tool that helps in Systematic Literature Review for annotating a set of papers based on a defined annotation schema

Lightning-fast, reference-based requirement tracing that works anywhere.

Binary installation for rust projects

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…

Clojure Desktop UI framework

Defold is a completely free to use game engine for development of desktop, mobile and web games.

Point it at any web page and it finds the video, extracts the stream, transcodes it and casts in real time to your TV. It even burns subtitles….

Doom using MS Paint as a playable display by leveraging clipboard and paste. Includes Doom shareware and plays with music and sound effects.

A curated list of materials on AI guardrails

A minimal, fast, graphical UEFI boot manager written in C. no external dependencies — just a config file :)

Real-time visualization of Claude Code agent orchestration — see your agents think, branch, and coordinate as they work.

Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.

Plano is an AI-native proxy server and data plane for agentic apps. Smart LLM routing, observability, agent orchestration, and guardrails so you stay focused on your agents core logic.

Self-hosted Zotero WebUI Opensource Library + WebDAV-based PDF viewer. Avoid storage fees, keep privacy, and still enjoy a full browser-based Zotero library.

A collection of all Font Awesome (https://fontawesome.com) Free SVG icon paths as Java enum constants - ready to be used in any Java program.

Local-first AI agents with governed, approval-gated memory. Any model provider; MCP tools and web search built in. Nothing remembered without your say-so, nothing leaves your machine.

Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

Render LaTeX equations and images directly in your terminal using Python.

Techsenger JediTermFX – Terminal Emulator for JavaFX.

Pty for Java