GNU tools installer for npm
☆27Jun 21, 2018Updated 7 years ago
Alternatives and similar repositories for node-gnu-tools
Users that are interested in node-gnu-tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Fuzz testing for Dafny☆13Jul 7, 2022Updated 3 years ago
- Inverted pendulum simulation on the terminal using c☆17Feb 10, 2025Updated last year
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆14Feb 14, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆16Mar 13, 2023Updated 3 years ago
- Easily batch-build cmake projects!☆18Jan 16, 2026Updated 3 months ago
- ☆20Jun 1, 2024Updated last year
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Updated this week
- Generation of comparison functions from types☆28Apr 6, 2026Updated last month
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Bedrock Bit Vector Library☆29Mar 18, 2026Updated last month
- NOVA Microhypervisor☆21Apr 30, 2026Updated last week
- ☆10Jan 19, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Dump PDB Symbols including support for Bochs Debugging Format (with wine support)☆14Aug 11, 2023Updated 2 years ago
- CSS dead code elimination☆42Nov 26, 2014Updated 11 years ago
- Source code of Research Unix v8, released by The Unix Heritage Society.☆18Jun 27, 2019Updated 6 years ago
- my fork of libxml2☆11May 11, 2011Updated 14 years ago
- Golang handcrafted dns query☆13Oct 11, 2020Updated 5 years ago
- A Kotlin based gRPC client/server with envoy as load balancer. Envoy discovers the service using EDS.☆12Dec 12, 2018Updated 7 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- ☆13May 6, 2023Updated 3 years ago
- Can convert any binary data into an Obj with vertices, useful for reverse-engineering.☆11Mar 27, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- This application enable you to view PDF file in android.☆13Oct 24, 2013Updated 12 years ago
- LLVM backend for EFI Byte Code☆11Jul 14, 2019Updated 6 years ago
- chmap is a command line utility to inspect Clang headermap (.hmap) files.☆14Dec 6, 2022Updated 3 years ago
- a simple Golang SSA viewer tool that can be used for code analysis or to create a linter☆11Mar 26, 2023Updated 3 years ago
- A Maven dependency graph generator for Bazel☆17Apr 4, 2026Updated last month
- Bring Your Own FIDO2 Extensions!☆16May 13, 2025Updated 11 months ago
- ☆14Jan 12, 2022Updated 4 years ago
- elf loader implementation in rust☆14Jul 15, 2018Updated 7 years ago
- Set of text- and file-oriented utilities for processing texts, files and piping☆11Oct 16, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Feb 2, 2018Updated 8 years ago
- ☆12Dec 5, 2015Updated 10 years ago
- A library for fuzz testing TEA models by simulating user interactions☆14Dec 16, 2022Updated 3 years ago
- Cmake 官方教程 -> 在线阅读☆11Mar 9, 2018Updated 8 years ago
- libexecinfo for musl libc☆15Apr 16, 2022Updated 4 years ago
- ELF binary file format parser in C☆13Jul 17, 2021Updated 4 years ago
- 🛠 Vert.x + Kotlin (w/ coroutines) boilerplate 🛠☆13Jan 4, 2018Updated 8 years ago