Files for cross-compilation
☆41Jul 13, 2026Updated last month
Alternatives and similar repositories for sysroot
Users that are interested in sysroot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An os distribution and a kernel aiming for NT compatibility☆18Aug 4, 2025Updated last year
- 互通 Telegram 和 QQ 訊息☆10Feb 3, 2023Updated 3 years ago
- Non-nullable pointers with 0-overhead and no hidden runtime cost.☆12Dec 21, 2020Updated 5 years ago
- Various mechanized proof files for fun.☆15Updated this week
- RAII for C☆13Jan 16, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated last year
- Server to view ClickHouse profiler data in speedscope.app☆11Dec 24, 2019Updated 6 years ago
- Neovim UI client using arcan-tui☆15Feb 20, 2024Updated 2 years ago
- Afero-compliant interface to S3☆10Sep 29, 2016Updated 9 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- Randomized testing framework, designed for compatibility with Base☆18Jul 10, 2026Updated last month
- ☆11Feb 5, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- LispWorks Configuration files☆13Jul 23, 2017Updated 9 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- A lightweight wrapper for KVO, bind view and model easily☆11May 18, 2016Updated 10 years ago
- ☆11Jul 8, 2020Updated 6 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Updated this week
- Aseprite scripts for auto slicing and manageing slices☆13Nov 5, 2021Updated 4 years ago
- Stenographer is a packet capture solution which aims to quickly spool all packets to disk, then provide simple, fast access to subsets of…☆11Jan 22, 2019Updated 7 years ago
- CMake project template for using C++ Standard Library Module.☆16May 10, 2024Updated 2 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A benchmark for data formats☆16Feb 27, 2025Updated last year
- Library for generating C and Fortran bindings for C++ functions from C++☆18Feb 2, 2021Updated 5 years ago
- A quick and dirty script for creating complete Godot TileSets without hours of endless clicking.☆10Feb 14, 2023Updated 3 years ago
- 一个适用于Androlua+（Lua53）的反汇编器。汇编器以后再说。☆10Feb 8, 2023Updated 3 years ago
- Fast, polling-free approach to kill and wait for all processes to exit. Rust + Tokio, pidfd + epoll + timer☆22Jul 2, 2023Updated 3 years ago
- A mapping of emoji names to their characters, as well as images.☆13Oct 16, 2014Updated 11 years ago
- ZFS pool scrubber and monitor script☆12Feb 15, 2013Updated 13 years ago
- ☆12Mar 14, 2024Updated 2 years ago
- ☆10Nov 26, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 4 years ago
- A repository that publishes more lightweight LLVM releases (mirroring official releases)☆15Updated this week
- A demonstration of GPU-accelerated playback of Hap movies using the QuickTime codec.☆18Jan 22, 2016Updated 10 years ago
- A small utility for testing swapchain-induced delay in Godot☆13Apr 27, 2026Updated 4 months ago
- Shadowsocksr client using electron☆12Jul 3, 2018Updated 8 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- dump lua fucntion☆13Oct 10, 2020Updated 5 years ago