Contribute to Small Projects
Discover open source projects with 100-600 stars — perfect for your first contributions
Discover open source projects with 100-600 stars — perfect for your first contributions
Discover open source projects with 100-600 stars — perfect for your first contributions
Showing 25 of 10,578 repositories
Page 127 of 424
Rust implementation of bors used for various Rust components (e.g. the compiler).
Helper toolkit for creating your own Lean 4 UserWidgets
Collection of Nextjs Components
Elemental is a software stack enabling centralized, full cloud-native OS management with Kubernetes.
The Scala Documentation website
A native Go library for accessing GPIO lines on Linux platforms using the GPIO character device
Nim library to infer/generate command-line-interfaces / option / argument parsing; Docs at
VSCode extension that modify CSS and JS code in both editor and webview, unify global font family, setup background image and Electron BrowserWindow options, add your custom CSS or JS code, and even patch files in other VSCode extensions.
Cloud Foundry on Kubernetes
Open ModScan is a Free Modbus Master (Client) Utility
The "batteries included" extended library for the Lean programming language and theorem prover
Mosaico - The data platform for Physical AI
High-performance, low-latency note synchronization, online management, and remote REST API service platform.
The library used by PKP's applications OJS, OMP and OPS, open source software for scholarly publishing.
:memo: A .docx file writer with Rust/WebAssembly.
A modular framework for building performant networks, pushing the boundary of today in order to build the apps of tomorrow.
A small replacement for GNU readline() for UNIX
The Portainer agent
Nonlinear optimisation (root-finding, least squares, ...) in JAX+Equinox. https://docs.kidger.site/optimistix/
Framework for simplifying flake setup [maintainer=@accelbread]
Terminal UI for WireGuard and OpenVPN with real-time telemetry and leak guarding.
Yet Another Vulkan Engine
HackerOne资产更新 | 每日更新HackerOne资产，对HackerOne的资产进行爬行和整理，SRC资产更新仅会增加，不会进行删除，每天更新的可以进行差异化对比来获取到新的项目资产范围
Bitcoin Optech website
An open-source Text2SQL tool that transforms natural language into SQL using graph-powered schema understanding. Ask your database questions in plain English, QueryWeaver handles the weaving.
7,403 more repositories available