Showing 2041-2040 of 2,040 projects
Soufflé is a Datalog-based static code analysis tool that synthesizes parallel C++ programs from logic specifications.
MOROS is a hobby operating system written in Rust, focused on low-level system programming for x86-64 architecture.
A Java SDK for interacting with the WeChat platform, including public accounts, mini-programs, and WeChat Pay.
A programming font combining Monaspace and IBM Plex Sans JP for vibe coders building with AI tools.
A curated list of awesome things related to mpvue, a Vue.js-based framework for building WeChat Mini Programs.
A repository for sharing and discovering developer-related jokes and humor.
Open-source database for managing vulnerability disclosure and bug bounty programs
This GitHub repository is for a modpack for the S.T.A.L.K.E.R. Anomaly game, built using the Lua programming language.
pocl is a portable open-source implementation of the OpenCL standard for parallel programming on heterogeneous systems.
This is a collection of resources and frameworks for building WeChat mini-programs.
HiveMQ MQTT Client is a high-performance Java library for building MQTT-powered IoT applications.
A simple, customizable, and fast static site generator in the Julia programming language.
A comprehensive list of genome browser and visualization tools for developers working with genomic data.
A Go tool that allows running any Go function as a standalone program.
The Common Lisp Cookbook is a collection of examples and recipes for the Lisp programming language.
A bi-directional type bridging library between RxSwift and Apple's Combine framework for reactive programming.
A hybrid graphics editor and programming environment for creating interactive diagrams.
Comprehensive collection of optimized competitive programming templates and algorithms in C++.
A collection of Android programming blogs in simplified Chinese.
An open-source software for Hantek USB digital signal oscilloscopes, supporting various platforms.
Get weekly updates on trending AI coding tools and projects.