Files for cross-compilation
☆40Dec 1, 2025Updated 3 months ago
Alternatives and similar repositories for sysroot
Users that are interested in sysroot are comparing it to the libraries listed below
Sorting:
- ☆13Sep 11, 2019Updated 6 years ago
- Various mechanized proof files for fun.☆13Mar 9, 2026Updated last week
- A C++ implementation of CPIX specification for the exchange of encryption keys and DRM information.☆16Aug 16, 2019Updated 6 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- tomato, a plant from the solanaceae family - tox built-in☆11Updated this week
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Lua loadable module providing bindings to the LLVM/Clang APIs.☆45Jan 12, 2014Updated 12 years ago
- Modern machine learning and statistical toolbox for financial researchers and practitioners☆12Jul 14, 2023Updated 2 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 9 months ago
- 基于Duilib + CEF + NodeJs的类似 electron 的UI框架☆31Nov 20, 2018Updated 7 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Virtual Machine Monitor/386 bare metal hypervisor. Run vm86 mode processes on a 386☆13Mar 16, 2016Updated 10 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 14 years ago
- Trading tools and signals for Binance futures☆14Mar 12, 2021Updated 5 years ago
- Visualize fine-grained timing data from ghc verbose logs☆13Jan 12, 2022Updated 4 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 4 years ago
- ☠ A 2D game engine based around skeletal structures, with an in-game editor and animation support (pre-alpha)☆18Sep 12, 2024Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- A collaborative bibliography of papers related to property-based testing☆16Feb 27, 2026Updated 3 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆16Feb 18, 2026Updated last month
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 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 7 years ago
- Bazel integration for Visual Studio Code☆21Apr 26, 2019Updated 6 years ago
- Aseprite scripts for auto slicing and manageing slices☆13Nov 5, 2021Updated 4 years ago
- ☆15Aug 28, 2025Updated 6 months ago
- AC3ESBrowser is a tool for analyzing ac3/eac3 bitstreams☆12Feb 27, 2015Updated 11 years ago
- Renders raspberry pi camera feed to opengl texture.☆16Oct 28, 2013Updated 12 years ago
- Fixed Block Memory Allocator in C☆28Jun 22, 2025Updated 8 months ago
- ☆10Nov 26, 2020Updated 5 years ago
- ☆17Feb 11, 2025Updated last year
- Run Mirror Proxy Site Like Weed.☆11Nov 12, 2015Updated 10 years ago
- A mapping of emoji names to their characters, as well as images.☆13Oct 16, 2014Updated 11 years ago
- Experimental Penpot importer into Godot☆18Apr 23, 2025Updated 10 months ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- Randomized testing framework, designed for compatibility with Base☆18Jan 15, 2026Updated 2 months ago
- Android原始程序 加壳器,可以使得两个so合并都一起。☆12Jul 10, 2020Updated 5 years ago
- unit testing, logger, OOP, string, table extensions for lua.☆19Mar 7, 2012Updated 14 years ago