{"repo":"ThobiasKnudsen/LogosLang","free":true,"listed":false,"github":"https://github.com/ThobiasKnudsen/LogosLang","clone":"git clone https://github.com/ThobiasKnudsen/LogosLang.git","description":"A self-hosting systems language where the compiler, types, proofs, and syntax all live in one structure the language can read and rewrite.","language":"Rust","stars":10,"topics":[],"license":"Apache-2.0","category":"self-hosted-apps","readme_excerpt":"LogosLang A self-hosting systems language where the compiler, types, proofs, and syntax all live in one structure the language can read and rewrite. Install Builds for macOS, Linux, and Windows are on the downloads page and on the releases page. Each archive unpacks to a bin/logos that runs in place; there is nothing to install and there are no build flags. This is the bootstrap seed: it parses source into the Logic Graph, interprets it, and lowers explicitly compiled functions to Cranelift. It is not the finished language. What this release does and does not run is listed in the docs, alongside the borrow checker, proof layer, rewriting engine, and standard library, which are specified and not yet built. Performance Logos runs source by interpreting the Logic Graph. Calling .compile() on a function lowers its body to machine code (Cranelift) and installs it, so the next call jumps instead of walking the body. Compilation is directed in source, never by compiler flags. The same loop, written the obvious way in each language, measured on one core of a Ryzen 7 5800U laptop (Linux, July 2026). A tight arithmetic loop is the worst case for any interpreter and the best case for optimizing compilers, so this is the widest the gaps get: Runner ns per iteration vs C --- --- --- C, gcc -O2 (auto-vectorized) 0.47 1.0x Rust, rustc -O (scalar loop¹) 0.95 2.0x Logos, after sum to.compile() 1.4 3.0x Logos, interpreted 140 300x Python 3.13 (CPython) 170 360x ¹ Rust as literally written meas","default_branch":null,"files":null,"tree":[],"storefront":"/r/ThobiasKnudsen","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ThobiasKnudsen/LogosLang/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}