📜 A JavaScript port of Asciidoctor, a modern implementation of AsciiDoc

Terminal UI OS (Terminal Multiplexer)

AsciiDoc support for Visual Studio Code using Asciidoctor

Go-first admin UI framework inspired by Streamlit, powered by htmx for partial updates, with a declarative Go UI DSL and WebView-friendly runtime.

コード例で学ぶ Lean 言語

A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

Python DSL for constructing QUBOs from mathematical expressions.

A VS Code extension for advanced, modern, static analysis of C/C++ that supports a number of back-end analyzer programs.