Open-source CUDA compiler targeting multiple GPU architectures. Compiles .cu to AMD and Tenstorrent GPU's

The math library of Lean 4

A collective list of free APIs

JDK main-line development https://openjdk.org/projects/jdk

An incremental parsing system for programming tools

https://antidote.sh - the cure to slow zsh plugin management

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Curated list of project-based tutorials

OpenSource GPU, in Verilog, loosely based on RISC-V ISA

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Key remapper for X11 and Wayland

Linux device manager for Logitech devices

A markup-based typesetting system that is powerful and easy to learn.

Compatibility tool for Steam Play based on Wine and additional components

A sample Spring-based application

High performance UI layout library in C.

dev tools, env vars, task runner

GHOSTS is a realistic user simulation framework for cyber experimentation, simulation, training, and exercise

Command-line JSON processor

A Toolbox companion for QMK Firmware

Ulauncher clipboard management with Clipman, Clipster, CopyQ or GPaste

Feature rich application Launcher for Linux

Microsoft PowerToys is a collection of utilities that supercharge productivity and customization on Windows

An advanced keyboard manager

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A glimpse into your computer's temperature, voltage, fan speed, memory usage and CPU load.

Moved to Codeberg

A rudimentary Racket implementation using RPython

Open source RGB lighting control that doesn't depend on manufacturer software. Supports Windows, Linux, MacOS. Mirror of https://gitlab.com/CalcProgrammer1/OpenRGB. Releases can be found on GitLab.

{ 고퀄리티 ⚡ 개발 컨텐츠 모음 }