Stars
Local-first AI daemon for Logseq OG: background semantic indexing, link hygiene, and agent-ready CLI/MCP — edits Markdown on disk (no cloud, no Logseq API). Karpathy LLM-Wiki inspired.
Lightweight (7MB) Terminal-first AI-native dev workspace
Skills for Real Engineers. Straight from my .claude directory.
Make your cursors dance with Kakoune and Helix-like modal editing in VS Code.
The publicly-available modules of the Tangent project.
Unofficial nightly builds of the Zed editor for Windows
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV
Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
Fork of http://sourceforge.net/projects/eclipsecopyrigh/
MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.
Cross-platform multi-protocol VPN software. Pull requests are welcome. The stable version is available at https://github.com/SoftEtherVPN/SoftEtherVPN_Stable.
Pixelated Nüshu glyphs for GNU Unifont and the tools to create them
A more generic framework-style extension for preprocessing Maven pom.xml files before the build runs (from within Maven itself)
APM, (Application Performance Management) tool for large-scale distributed systems.
The container native, cloud agnostic serverless platform.
Performance analysis tools based on Linux perf_events (aka perf) and ftrace
The OSGi enRoute project provides a programming model of OSGi applications. This project contains bundles providing the API for the OSGi enRoute base profile and bundles for the OSGi enRoute projec…
Very spicy additions to the Java programming language.
A collection of source code generators for Java.
My own notes (drafts mostly) about software quality
Bnd/Bndtools. Tooling to build OSGi bundles including Eclipse, Maven, and Gradle plugins.
Chromium OS Universal Chroot Environment (EOL)
This is a rewrite of the Plarpebu karaoke player using JavaFX for the GUI and OSGi for modularity and plugins.