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:
- Universal instruction selection☆12Jun 8, 2018Updated 8 years ago
- ☆10Sep 26, 2024Updated last year
- Bank Panic/Combat Hawk Compatible Gateware IP Core☆10Oct 9, 2022Updated 3 years ago
- Green Beret/Rush n' Attack Compatible Gateware IP Core☆10Oct 3, 2022Updated 3 years ago
- Bootstrap scripts to build standalone OPAM projects☆15Nov 9, 2017Updated 8 years ago
- 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.
- An extended mg clone☆12Mar 2, 2026Updated 4 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 3 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- Sample project to integrate catch2, cmake and jenkins☆12Dec 11, 2017Updated 8 years ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- Peasy: An Intuitive Development Environment for P☆17May 24, 2026Updated 2 months ago
- Systems Programming UIUC FA 2016☆13Feb 24, 2017Updated 9 years ago
- A Starcraft: Brood War bot I created for my BSc Dissertation☆14May 28, 2015Updated 11 years ago
- Easily batch-build cmake projects!☆18Jan 16, 2026Updated 6 months 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.
- Invariant Generation as Type Inference with GADTs and Existentials☆18Mar 7, 2026Updated 4 months ago
- ☆20Jun 1, 2024Updated 2 years ago
- Inverted pendulum simulation on the terminal using c☆17Feb 10, 2025Updated last year
- isla coq infrastructure☆22Mar 11, 2025Updated last year
- Universal Resource Locators for Common Lisp☆10Jun 17, 2021Updated 5 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Jun 19, 2026Updated last month
- Draws PNG images of complex plane fractals, in Ruby.☆12Jul 17, 2018Updated 8 years ago
- Extensions (e.g. drawing functions) for stumpy_core☆10Sep 18, 2020Updated 5 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆24Oct 22, 2023Updated 2 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.
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- This repository follows Luke Smith's Latex Resume Tutorial.☆10Jun 21, 2019Updated 7 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Unofficial Git conversion (from Svn) of the TeraTerm 4.100☆10Sep 26, 2018Updated 7 years ago
- My stumpwm config☆10Jun 27, 2019Updated 7 years ago
- NieR-Automata style theme for Trilium Notes☆12Jan 21, 2025Updated last year
- NOVA Microhypervisor☆22Jun 30, 2026Updated 3 weeks ago
- A Minecraft modpack that aims to turn MC into an ARPG similar to Path of Exile and Diablo II. Progression-lite is the main goal of the mo…☆10Dec 24, 2021Updated 4 years ago
- Duplicate Files Searcher☆29Nov 19, 2021Updated 4 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.
- A React + MobX app for Plants data from USDA☆13Jan 11, 2017Updated 9 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆46Mar 14, 2016Updated 10 years ago
- Tool and library implementing patience diff☆23Jul 10, 2026Updated 2 weeks ago
- Bring Your Own FIDO2 Extensions!☆16May 13, 2025Updated last year
- Generate deep dream videos from a single image.☆14Feb 16, 2023Updated 3 years ago
- Bedrock Bit Vector Library☆30Jun 4, 2026Updated last month
- Namco Dig Dug Compatible Gateware IP Core☆24Sep 20, 2022Updated 3 years ago