Starred repositories
AdaLang Analyzer is a command-line static analysis tool for Ada source code that uses Libadalang to detect rule violations and report them with explanations and remediation guidance.
Main QET repository, Bugtracker: https://qelectrotech.org/bugtracker/ Nightly Windows Builds : https://qelectrotech.github.io/qelectrotech-source-mirror/
Fast and minimalistic Redbean-based Lua web framework in one file.
Experimental GNAT runtime extension for ordinary Ada tasking, with native and lightweight execution.
Structured asynchronous runtime for Ada with futures, scheduling, timers, networking, channels, cancellation, and diagnostics.
High-performance, bias-free cryptographic engine in Ada/SPARK leveraging native OS entropy pools.
Convert CAD geometry (STP files) or Cadquery assemblies to DAGMC h5m files
[Mirror] Continuwuity, the official community driven continuation of conduwuit & Conduit, focusing on user experience and new features.
A primer for users trying to make sense of Org Mode
Commodore C64 core for the Tang Nano 20K Primer 25K Mega 60k Mega 138K Pro Console60k/138k FPGA
Ada/SPARK formal verification and compliance toolchain. Features code/docstring coverage, SPARK level, DO-178C DAL status.
PowerJoular allows monitoring power consumption of multiple platforms and processes
Anura3D open source version to model large deformation and soil-water-structure interaction with the MPM.
A curated list of the best books for software engineers, with links to legal and free sources. Covers programming, system design, DevOps, ML and career growth.
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
The agent that grows with you
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
Fast, accurate & comprehensive text measurement & layout
Multi-phase chemistry treatment for atmospheric models