xyproto / cxxView external linksLinks
Configuration-free utility for building, testing and packaging executables written in C++. Can auto-detect compilation flags based on includes, via the package system and pkg-config.
☆123Apr 18, 2025Updated 9 months ago
Alternatives and similar repositories for cxx
Users that are interested in cxx are comparing it to the libraries listed below
Sorting:
- Logic Explorer - customizable proof construction tool for sequent calculi☆21Jun 3, 2022Updated 3 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- interpreter devkit☆25Oct 6, 2019Updated 6 years ago
- A sparse and compressed bitmap library.☆13Aug 28, 2014Updated 11 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Disassembly of Super Mario Kart's SPC700 Audio Driver Code☆12May 17, 2023Updated 2 years ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Jul 3, 2024Updated last year
- A set of macros and functions to make defining a C module easier☆11Sep 9, 2019Updated 6 years ago
- Cut-pursuit algorithms, parallelized along components☆10Aug 5, 2020Updated 5 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 6 years ago
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆31Jan 15, 2024Updated 2 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- LAPACK source of choice☆14Oct 6, 2025Updated 4 months ago
- Tool for fetch logentries for Arch packages.☆12Oct 25, 2024Updated last year
- WIP☆27May 27, 2019Updated 6 years ago
- Describe images by using LLMs☆17Jan 7, 2026Updated last month
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Feb 21, 2016Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- C++ testing and mocking framework☆16Aug 23, 2021Updated 4 years ago
- Raspberry Pi Emulator☆11Jul 25, 2014Updated 11 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- The UNIX day utility☆19Aug 6, 2024Updated last year
- Synthetic Differential Geometry in Agda☆13Jan 14, 2015Updated 11 years ago
- The Fastest ISO Manager on the Planet for the GNU/Linux Ecosystem.☆16Sep 15, 2025Updated 4 months ago
- Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)☆21Oct 13, 2025Updated 4 months ago
- Rust binding of fortran Limited memory LBFGS subroutine☆14Jul 30, 2019Updated 6 years ago
- A software AES implementation to torture code generators.☆18Oct 24, 2021Updated 4 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- A contained AUR (ArchLinux User Respository) packages and local repository builder.☆12Mar 16, 2025Updated 10 months ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- Lightweight SSA compiler suite☆11Sep 27, 2024Updated last year
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 7 years ago
- Self-hosting Real Mode x86 Assembler☆33Oct 29, 2024Updated last year
- UTF-8 grapheme counting library written in C99.☆18Jun 30, 2024Updated last year
- Abelian sandpiles☆16Nov 16, 2024Updated last year
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Small, header-only, cross-platform SIMD vector library (3D or otherwise) for C11.☆16May 30, 2022Updated 3 years ago