Articles from github.com

Articles from github.com

coq-of-rust: Formal verification tool for Rust (github.com)
22 days ago Rust

Xata Agent: AI agent expert in PostgreSQL (github.com)
23 days ago PostgreSQL AI

C plus Prolog (github.com)
23 days ago

Web UI to simulate various sets of tuning forks with the Web Audio API (github.com)
24 days ago API

I have implemented a GPU version of Pica which is high quailty image resizer (github.com)
24 days ago

rmk: Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support (github.com)
24 days ago Rust Firmware

goatdb: Lightweight NoDB for Deno & React (github.com)
24 days ago React

owi: Cross-language Bugfinder (github.com)
24 days ago

rsync-over-grpc: demo program: rsync file transfer (with the gokrazy/rsync module) over gRPC transport (github.com)
24 days ago

pytest-netbox-docker: Pytest plugin that provides fixtures to start a complete Netbox infrastructure using Docker (github.com)
25 days ago Docker

facil.io: Web application C framework (github.com)
25 days ago

Simple Key-Value Store for Electron (Supports ESM & CJS) (github.com)
26 days ago Electron

Animated transitions on Table and Cards views for sorting, switching view, and browser resizing (no dependencies, just vanilla Javascript, CSS, and HTML). (github.com)
26 days ago CSS JavaScript Browser

Cutting-edge web scraping techniques (github.com)
27 days ago web crawler

vtm: Text-based desktop environment (github.com)
28 days ago

Stock central (github.com)
29 days ago

awesome-embedded-rust: Curated list of resources for Embedded and Low-level development in the Rust programming language (github.com)
29 days ago Rust programming

xdg-ninja: A shell script which checks your $HOME for unwanted files and directories (github.com)
30 days ago Shell

A good memory allocator in 200 lines of code (github.com)
30 days ago

A collection of essential design pattern examples in JavaScript (github.com)
2025-3-6 JavaScript

Basecamp release Github extension for offline CI signoff (github.com)
2025-3-6 GitHub

Lean 4, release v4.17.0 (github.com)
2025-3-5

TigerBeetle Architecture (github.com)
2025-3-4 Architecture

I have implemented a GPU version of Pica which is high quailty image resizer (github.com)
2025-3-4

smallpond: A lightweight data processing framework built on DuckDB and 3FS (github.com)
2025-3-4

Kaggle Data Explorer UI look-alike built in React. (github.com)
2025-3-4 React

globstar — open-source static analysis toolkit for writing code checkers in YAML and GO (github.com)
2025-3-4

sqlite-vec: A vector search for SQLite (github.com)
2025-3-3 SQLite

Windows NT for GameCube/Wii (github.com)
2025-3-1

3FS: A high-performance distributed file system designed to address the challenges of AI training and inference workloads (github.com)
2025-2-28 AI File System

Previous Page Next Page