☆16Mar 13, 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
Sorting:
- Tools for Compiler Explorer☆24Feb 1, 2026Updated last month
- Workflows to build daily and ad hoc compilers for Compiler Explorer☆22Mar 12, 2026Updated last week
- ☆13Apr 28, 2025Updated 10 months ago
- 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
- OCaml implementation of Wake-On-LAN (WOL)☆16Apr 30, 2024Updated last year
- A program launcher for Wayland☆16Jan 15, 2024Updated 2 years ago
- ☆16Jan 4, 2026Updated 2 months ago
- ☆19Dec 21, 2024Updated last year
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- PostgreSQL DBA roadmap: skillset to become a PostgreSQL DBA☆21Mar 12, 2022Updated 4 years ago
- The full code for my infinite procedurally generated terrain tutorial for Phaser 3.☆24Feb 25, 2019Updated 7 years ago
- ☆24Nov 6, 2021Updated 4 years ago
- Former Graph Drawing Software from FMI.UNI-PASSAU.DE☆21Jan 27, 2021Updated 5 years ago
- Not a filesystem for Mirage block devices☆25Sep 3, 2024Updated last year
- python3/pip3 wrapper for installing shfmt☆17Mar 9, 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.☆20Aug 14, 2024Updated last year
- My NixOS configuration☆29May 31, 2023Updated 2 years ago
- A pure OCaml library for working with terminals☆33Apr 2, 2024Updated last year
- ☆19Jan 25, 2021Updated 5 years ago
- Infrastructure to set up the public Compiler Explorer instances and compilers☆411Mar 13, 2026Updated last week
- A computational graph for time-series processing.☆20Mar 22, 2025Updated 11 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆31Jul 18, 2014Updated 11 years ago
- Data and code associated with the paper "Computationally easy, spectrally good multipliers for congruential pseudorandom number generator…☆22Mar 2, 2024Updated 2 years ago
- Basically the C programming language peppered with my preferences☆12Jun 12, 2025Updated 9 months ago
- Arp Poisoning tool in C using raw sockets☆20Mar 8, 2025Updated last year
- Neovim client for coq-lsp☆30Sep 26, 2025Updated 5 months ago
- Ascii85 encoder/decoder written in C with no memory allocation, no whitespace tolerance.☆11Jun 24, 2020Updated 5 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 2 years ago
- ☆17Feb 18, 2026Updated last month
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- A Deductive Verification Tool for OCaml Programs☆78Updated this week
- Convert remind's reminder files into iCalendar format☆10Dec 27, 2019Updated 6 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- Project has moved to https://git.fmsbw.de/groff-tools/☆12Oct 5, 2025Updated 5 months ago