GPU Miner for ETH, RVN, BEAM, CFX, ZIL, AE, ERGO

The Network UPS Tools repository. UPS management protocol Informational RFC 9271 published by IETF at https://www.rfc-editor.org/info/rfc9271 Please star NUT on GitHub, this helps with sponsorships!

Angular Full Stack Boilerplate Starter with PayloadCMS, Nx and Express. Free Open-Source Web App Boilerplate.

A tool for parsing, dumping and modifying data in Radeon PowerPlay tables

FreeRDP is a free remote desktop protocol library and clients

Parallel Specification and Implementation Language

Wings workflow system

LUnix Next Generation - a Little Unix operating system for C64/128/Atari and any 6502-based machine

Branch-and-price solver for the Feeder Network Design Problem

NVIDIA cuOpt examples for decision optimization

An Ada-GUI program to quickly produce a plot of a data set

The PragmAda Reusable Components

ESP32 Display Controller (VGA, PAL/NTSC Color Composite, SSD1306, ST7789, ILI9341), PS/2 Mouse and Keyboard Controller, Graphics Library, Sound Engine, Game Engine and ANSI/VT Terminal

simple vulkan compute shader TF implementation

LuxCore source repository

An Archlinux operating system tailored for developing software in the Ada and SPARK languages.

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

DAOS Storage Stack (client libraries, storage engine, control plane)

A monitor of resources

Command-line tool from the Alire project and supporting library

A daemon that uses cgroups to monitor and manage user behavior on login nodes

Solvers for Maxwell's electrodynamic equations with time-space varying coefficients based on PyClaw

mfaktc - https://mersenneforum.org/showthread.php?p=198902#post198902

MOS CPU Replacer – replace rare/expensive/unreliable MOS CPUs

Let your Raspberry Pi Pico pretend to be a Commodore 64 ROM cartridge

binary releases of VS Code without MS branding/telemetry/licensing

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.