☆17Jul 10, 2026Updated last week
Alternatives and similar repositories for misc-builder
Users that are interested in misc-builder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tools for Compiler Explorer☆25Jul 10, 2026Updated last week
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆25Updated this week
- ☆13Apr 28, 2025Updated last year
- Config library for Java☆14Sep 5, 2021Updated 4 years ago
- parse the LHCb nightlies compile_commands.json and create compiler-explorer c++.properties path☆13Dec 31, 2021Updated 4 years 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.
- OCaml implementation of Wake-On-LAN (WOL)☆16Apr 30, 2024Updated 2 years ago
- A program launcher for Wayland☆17Jan 15, 2024Updated 2 years ago
- ☆16Jun 2, 2026Updated last month
- ☆19Dec 21, 2024Updated last year
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- Formal Semantics for Why3☆21Updated this week
- The caml walks, OCaml runs☆22Oct 11, 2023Updated 2 years ago
- A presentation on how much stuff happens before your code even starts running☆20Sep 29, 2018Updated 7 years ago
- PostgreSQL DBA roadmap: skillset to become a PostgreSQL DBA☆20Mar 12, 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.
- The full code for my infinite procedurally generated terrain tutorial for Phaser 3.☆24Feb 25, 2019Updated 7 years ago
- Former Graph Drawing Software from FMI.UNI-PASSAU.DE☆21Jan 27, 2021Updated 5 years ago
- A minimal PEP 517 compliant build backend that uses Conan to build Python C/C++ extensions☆16Updated this week
- ☆24Nov 6, 2021Updated 4 years ago
- A GitHub Action to install and configure the Conan package manager in your workflow☆18Jun 4, 2026Updated last month
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated last year
- python3/pip3 wrapper for installing shfmt☆19Jul 13, 2026Updated last week
- JavaScript polyfill for the WHATWG spec of focusOptions, that enables a set of options to be passed to the focus method☆47Aug 4, 2021Updated 4 years ago
- Fused multiply-add (with a single rounding) for Python.☆21Aug 14, 2024Updated last year
- 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 computational graph for time-series processing.☆20Mar 22, 2025Updated last year
- A pure OCaml library for working with terminals☆33Apr 2, 2024Updated 2 years ago
- My NixOS configuration☆28May 31, 2023Updated 3 years ago
- ☆19Jan 25, 2021Updated 5 years ago
- Infrastructure to set up the public Compiler Explorer instances and compilers☆423Updated this week
- Data and code associated with the paper "Computationally easy, spectrally good multipliers for congruential pseudorandom number generator…☆23May 16, 2026Updated 2 months ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated last year
- Arp Poisoning tool in C using raw sockets☆20Mar 8, 2025Updated last year
- Neovim client for coq-lsp☆32May 3, 2026Updated 2 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.
- Ascii85 encoder/decoder written in C with no memory allocation, no whitespace tolerance.☆11Jun 24, 2020Updated 6 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- A Deductive Verification Tool for OCaml Programs☆85Updated this week
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A simple Postgres proxy that parses and prints the wire protocol☆12Nov 9, 2020Updated 5 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- Convert remind's reminder files into iCalendar format☆10Dec 27, 2019Updated 6 years ago