Stars
A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including itself.
archiso installer customized for the X13s laptop
A modern Hotline client written in Qt featuring Shift-JIS support and other stuff.
Builds of the GNAT Ada compiler from FSF GCC releases
A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT
js13kGames / king-thirteen
Forked from mvasilkov/board2024King Thirteen - a js13kGames 2024 competition entry by @mvasilkov.
Lightweight Python implementation of LingoNaut for multilingual language learning.
MgPlus is a mini CSS library to build efficient web pages
Light Emacs major mode for Ada
A comment system powered by GitHub Discussions. 💬 💎
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
OutRun is an open-source, privacy oriented, outdoor fitness tracker.
Homemade automated solar concentrator 🔧 ☀️ 🔎
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
Powerful scripting language & versatile interactive shell
Vinix is an effort to write a modern, fast, and useful operating system in the V programming language
Ada major mode using tree-sitter for Emacs
A collection of awesome Odin libraries, bindings, software and resources 🧙♂️