GNU tools installer for npm
☆27Jun 21, 2018Updated 8 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:
- A minimal Ruby Gem to wrap the OpenWeatherMap API http://openweathermap.org/☆15Aug 31, 2017Updated 9 years ago
- Windows API hooking project to log all the windows / UIs with the exact timestamp when they are opened.☆15May 11, 2026Updated 3 months ago
- Bank Panic/Combat Hawk Compatible Gateware IP Core☆10Oct 9, 2022Updated 3 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 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.
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 3 months ago
- ☆18Mar 30, 2026Updated 5 months ago
- Invariant Generation as Type Inference with GADTs and Existentials☆18Updated this week
- Exercises from https://softwarefoundations.cis.upenn.edu/lf-current/index.html☆10Dec 30, 2018Updated 7 years ago
- Inverted pendulum simulation on the terminal using c☆17Feb 10, 2025Updated last year
- An English translation and re-balancing of Battle Blues (A Korean 3DO Strategy Role-Playing Game)☆13May 1, 2021Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Updated this week
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- DEciding Equivalence Properties in SECurity protocols☆22Mar 1, 2023Updated 3 years ago
- Go SQL parsers for MySQL and Postgres syntax (WIP)☆11Sep 23, 2022Updated 3 years ago
- Bring Your Own FIDO2 Extensions!☆16May 13, 2025Updated last year
- Bedrock Bit Vector Library☆30Aug 2, 2026Updated last month
- http://pcsx2.googlecode.com/svn/trunk☆14Sep 27, 2024Updated last year
- drawing graphs for llvm ir. data flow and control flow☆39Sep 10, 2017Updated 8 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆50Apr 6, 2018Updated 8 years ago
- An intermediate verification language☆28Jan 4, 2026Updated 8 months ago
- 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.
- Coq plugin for monomorphization and C code generation☆41Jan 16, 2026Updated 7 months ago
- Randomly generates quotes from the great Roberto Barros.☆28Feb 7, 2024Updated 2 years ago
- ☆13May 6, 2023Updated 3 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆37Apr 27, 2023Updated 3 years ago
- Can convert any binary data into an Obj with vertices, useful for reverse-engineering.☆11Mar 27, 2026Updated 5 months ago
- Demangle compiled symbols online.☆14Feb 5, 2017Updated 9 years ago
- ☆11Updated this week
- Real-time face-recognition program. Have fun with OpenCV-python.☆12Feb 26, 2021Updated 5 years ago
- Template project for program verification in the Rocq Prover, showcasing reasoning on CompCert's Clight language using the Verified Softw…☆36Mar 3, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- EFI boot manager (PATCHES)☆11May 18, 2012Updated 14 years ago
- ☆14Jan 12, 2022Updated 4 years ago
- A buffer object for LuaJIT☆15Jul 11, 2014Updated 12 years ago
- Set of text- and file-oriented utilities for processing texts, files and piping☆11Oct 16, 2024Updated last year
- Groovy rules for Bazel☆10Mar 21, 2024Updated 2 years ago
- General Caching Facility for Common Lisp☆17Nov 14, 2017Updated 8 years ago
- ☆12Dec 5, 2015Updated 10 years ago