AntonLydike / filecheckView external linksLinks
A Python-native clone of LLVMs FileCheck tool
☆23Aug 19, 2025Updated 5 months ago
Alternatives and similar repositories for filecheck
Users that are interested in filecheck are comparing it to the libraries listed below
Sorting:
- Kokkos enabled Lightning simulator for accelerated circuit simulation. See https://github.com/PennyLaneAI/pennylane-lightning for all fut…☆15Oct 27, 2023Updated 2 years ago
- ☆29Nov 29, 2025Updated 2 months ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 4, 2026Updated last week
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ☆10Oct 19, 2022Updated 3 years ago
- ☆11Sep 6, 2025Updated 5 months ago
- ☆12Jan 11, 2026Updated last month
- ☆13Mar 3, 2025Updated 11 months ago
- ☆10Oct 22, 2019Updated 6 years ago
- ☆10Oct 24, 2019Updated 6 years ago
- A development environment for Texas Instruments Tiva C Series microcontrollers using Docker and Visual Studio Code☆11May 14, 2024Updated last year
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 4 months ago
- Slides of C++ Day 2018☆12Jun 9, 2019Updated 6 years ago
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆18Mar 23, 2025Updated 10 months ago
- Demonstration of a factory pattern where the types automatically register themselves☆13Mar 13, 2019Updated 6 years ago
- Driving Snax with MLIR☆18Feb 6, 2026Updated last week
- TextMate support for OCaml☆22Dec 6, 2022Updated 3 years ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Nov 10, 2025Updated 3 months ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 8 years ago
- An MLIR to Native Code generator☆14Jan 3, 2024Updated 2 years ago
- Determining weight by measuring the frequency of a sound☆10Feb 17, 2020Updated 5 years ago
- Low Reynolds number kOmegaSST turbulence model for OpenFOAM☆13Jun 22, 2017Updated 8 years ago
- Set up a specific version of the Z3 theorem prover☆13Jan 26, 2026Updated 2 weeks ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- MLIR+EqSat☆25Jan 10, 2026Updated last month
- ☆10Jun 12, 2019Updated 6 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- An extension to jQuery UI Datepicker adding time to the mix☆14Mar 20, 2012Updated 13 years ago
- 小内存、显存（低于4g）使用bert做下游任务的一个方案☆14Nov 19, 2019Updated 6 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Parametric Integer Programming Library☆15Jan 23, 2024Updated 2 years ago
- A CLI tool to manage GitLab users.☆11Jun 5, 2025Updated 8 months ago
- SALMON 2.0.0 Development Repository☆15Feb 7, 2026Updated last week
- Python module for analysis of behavorial data☆14Nov 7, 2025Updated 3 months ago
- Mutation testing for Rust☆13Jun 20, 2016Updated 9 years ago
- An implementation of population balance solution strategies for OpenFOAM.☆12Jun 12, 2016Updated 9 years ago
- generates a table of contents for pelican articles and pages☆15Jan 31, 2021Updated 5 years ago