A Python-native clone of LLVMs FileCheck tool
☆24Aug 19, 2025Updated 6 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
- A template for writing CS papers with latex -- includes CI, todonotes, ...☆44Oct 1, 2025Updated 5 months ago
- ☆29Nov 29, 2025Updated 3 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 27, 2026Updated last week
- Recovery and Propulsion control and monitoring☆11May 15, 2022Updated 3 years ago
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- ☆10Oct 19, 2022Updated 3 years ago
- ☆12Jan 11, 2026Updated last month
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 10 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- ☆12Mar 13, 2023Updated 2 years ago
- Slides of C++ Day 2018☆12Jun 9, 2019Updated 6 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- A development environment for Texas Instruments Tiva C Series microcontrollers using Docker and Visual Studio Code☆11May 14, 2024Updated last year
- An extension for OpenFOAM that allows you to run more than one solver on the same dataset in sequence.☆12Oct 16, 2013Updated 12 years ago
- The Quadratic Primal-Dual Optimizer☆13May 13, 2024Updated last year
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆18Mar 23, 2025Updated 11 months ago
- ☆13Jun 10, 2021Updated 4 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- Set up a specific version of the Z3 theorem prover☆13Updated this week
- Determining weight by measuring the frequency of a sound☆10Feb 17, 2020Updated 6 years ago
- Plugin to support creating and developing Mbed OS projects in CLion☆10May 28, 2021Updated 4 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- Create Draw.io (diagrams.net) drawings, with Python☆14Jul 18, 2023Updated 2 years ago
- An MLIR to Native Code generator☆14Jan 3, 2024Updated 2 years ago
- Driving Snax with MLIR☆18Feb 27, 2026Updated last week
- 小内存、显存（低于4g）使用bert做下游任务的一个方案☆14Nov 19, 2019Updated 6 years ago
- LLVM-based Mutation Testing System. Proof of concept☆14Apr 14, 2016Updated 9 years ago
- Python module for analysis of behavorial data☆14Feb 23, 2026Updated last week
- SALMON 2.0.0 Development Repository☆15Updated this week
- ☆10Jun 12, 2019Updated 6 years ago
- Dragonfly analysers and processors for libvips image processing library.☆13Oct 30, 2025Updated 4 months ago
- Graphics, sounds and other artwork created for the SerenityOS project☆18Updated this week
- ☆17Sep 5, 2025Updated 6 months ago
- variant type for CUDA☆12Nov 14, 2015Updated 10 years ago
- Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy☆11Oct 17, 2019Updated 6 years ago
- A CLI tool to manage GitLab users.☆11Jun 5, 2025Updated 9 months ago
- An extension to jQuery UI Datepicker adding time to the mix☆14Mar 20, 2012Updated 13 years ago