Skip to content
View thanadolps's full-sized avatar

Sponsoring

@dtolnay
@lcnr

Block or report thanadolps

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A verification toolchain for Rust programs

OCaml 448 37 Updated Nov 25, 2025

UPX - the Ultimate Packer for eXecutables

C++ 16,776 1,467 Updated Nov 25, 2025

archive.ragtag.moe website

TypeScript 55 4 Updated Jan 14, 2025

Rust wants & tracking for Embark 🦀

Rust 986 19 Updated Jan 22, 2025

A tool to make rust-analyzer speedier when working with very large cargo workspaces

Rust 56 1 Updated Nov 20, 2025

A high-performance observability data pipeline.

Rust 20,793 1,925 Updated Nov 25, 2025

⚙️🦀 Build modular and scalable LLM Applications in Rust

Rust 5,002 569 Updated Nov 25, 2025

FlashySurf is a browser extension that helps you study any subject while you browse the web. With v2.0, FlashySurf expands beyond SAT preparation to support custom flashcard collections, allowing …

JavaScript 19 Updated Nov 17, 2025

Streamlink is a CLI utility which pipes video streams from various services into a video player

Python 11,052 1,167 Updated Nov 23, 2025

Intelligent automation and multi-agent orchestration for Claude Code

Python 21,258 2,380 Updated Nov 17, 2025

Portable file server with accelerated resumable uploads, dedup, WebDAV, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file, no deps

Python 37,311 1,518 Updated Nov 23, 2025

Build Real-Time Knowledge Graphs for AI Agents

Python 20,446 1,953 Updated Nov 24, 2025

Easily implement custom Gymnasium environments for real-time applications

Python 94 5 Updated May 26, 2025

A markdown terminal slideshow tool

Rust 7,384 158 Updated Nov 25, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 38,557 1,260 Updated Nov 25, 2025

Cross-platform ncurses Spotify client written in Rust, inspired by ncmpc and the likes.

Rust 6,271 254 Updated Nov 24, 2025

Friendly and fast tool for sending HTTP requests

Rust 7,305 115 Updated Oct 17, 2025

Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors

JavaScript 37,920 1,882 Updated Nov 25, 2025

Kc's dotfiles repository

Lua 1 Updated Nov 24, 2025

Reinforcement Learning environments with Bevy

Rust 97 3 Updated Oct 8, 2025

Execute Rust code carefully, with extra checking along the way

Rust 453 19 Updated Aug 23, 2025

A cargo subcommand for cleaning up unused build files generated by Cargo

Rust 881 36 Updated Nov 1, 2025

Retro games for Reinforcement Learning

C 318 60 Updated Oct 27, 2025

Select, put and delete data from JSON, TOML, YAML, XML and CSV files with a single tool. Supports conversion between formats and can be used as a Go package.

Go 7,689 157 Updated Nov 17, 2025

TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript 7,289 135 Updated Nov 24, 2025

Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.

Rust 2,820 118 Updated Nov 23, 2025

Performance Optimizer Observation Platform

Zig 1,758 80 Updated Oct 29, 2025

One code quality tool to rule them all

Rust 144 8 Updated Nov 8, 2025

A GitHub Action for releasing Rust binaries as GitHub releases

Python 23 9 Updated Jun 19, 2025

GitHub Action to compile Rust with cross

Python 198 21 Updated Jul 20, 2025
Next