Files for cross-compilation
☆40Apr 23, 2026Updated 2 months ago
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:
- ☆22Aug 11, 2017Updated 8 years ago
- An os distribution and a kernel aiming for NT compatibility☆19Aug 4, 2025Updated 10 months ago
- Non-nullable pointers with 0-overhead and no hidden runtime cost.☆12Dec 21, 2020Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- thread-local storage for OCaml☆18Jan 13, 2025Updated last year
- Lua loadable module providing bindings to the LLVM/Clang APIs.☆45Jan 12, 2014Updated 12 years ago
- Framework for benchmarking on multiple cores on current-bench☆15Jun 14, 2025Updated last year
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- opengl 的一些简单封装，目标是用一个简单的类封装实现各种滤镜、特效、转场、位置变换等处理☆20Feb 12, 2020Updated 6 years ago
- Separation Logic Proofs in Lean☆52Jan 28, 2026Updated 5 months ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Virtual Machine Monitor/386 bare metal hypervisor. Run vm86 mode processes on a 386☆13Mar 16, 2016Updated 10 years ago
- A scheduler independent blocking mechanism☆20Feb 15, 2024Updated 2 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.
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 years ago
- ☆10Oct 1, 2024Updated last year
- Formalization of CBPV extended with effect and coeffect tracking☆17Aug 30, 2024Updated last year
- acfunsdk - UNOFFICEICAL☆14Apr 5, 2026Updated 2 months ago
- LispWorks Configuration files☆13Jul 23, 2017Updated 8 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 years ago
- ☠ A 2D game engine based around skeletal structures, with an in-game editor and animation support (pre-alpha)☆19Sep 12, 2024Updated last year
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 years ago
- Afero-compliant interface to S3☆10Sep 29, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆11Jul 8, 2020Updated 5 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- download the macOS SDK legally without an Apple account☆12Jun 1, 2023Updated 3 years ago
- A lisp embedded in C++ syntax by overriding the comma operator☆12Jul 21, 2023Updated 2 years ago
- My version of tinywm☆12May 7, 2018Updated 8 years ago
- A small tutorial for QuartzComposer beginners☆19Apr 20, 2018Updated 8 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆26Apr 28, 2026Updated 2 months ago
- ☆17Aug 28, 2025Updated 10 months ago
- Exposing a C++ library with a plain C ABI☆18Jan 1, 2017Updated 9 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.
- A quick and dirty script for creating complete Godot TileSets without hours of endless clicking.☆10Feb 14, 2023Updated 3 years ago
- 可以捕获指针异常，内存溢出等错误的代码☆17Mar 15, 2019Updated 7 years ago
- ☆18Feb 11, 2025Updated last year
- Yet another hobby OS☆11May 8, 2018Updated 8 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- Randomized testing framework, designed for compatibility with Base☆18May 18, 2026Updated last month
- My experiences building GTK+ apps using Go☆12Oct 8, 2017Updated 8 years ago