Library for writing tests for utilities that read text files and produce text output
☆23Jun 26, 2020Updated 5 years ago
Alternatives and similar repositories for filecheck
Users that are interested in filecheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- Interpreter of the ITGL with dynamic type inference☆22Feb 24, 2025Updated last year
- A symbolic evaluator for MIR☆20Jan 20, 2020Updated 6 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Program synthesis is possible in Rust☆24Nov 15, 2018Updated 7 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- Guichan is a C++ GUI library designed for games.☆14Oct 22, 2025Updated 6 months ago
- Lisp compiler for x86-64☆37Jan 30, 2026Updated 2 months ago
- A #[no_std], allocation-free WebAssembly interpreter written in Rust☆15May 11, 2019Updated 6 years ago
- Small powerful micro scripting language <1K SLOC☆63Oct 5, 2025Updated 6 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆30Aug 30, 2022Updated 3 years ago
- A layout modifier that makes window-window spacing equal to window-edge spacing.☆16Jul 18, 2016Updated 9 years ago
- ☆115Nov 27, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)☆31Feb 24, 2022Updated 4 years ago
- ☆12Jun 7, 2024Updated last year
- Emacs minor mode to display whitespace characters efficiently☆16Jun 26, 2022Updated 3 years ago
- A hobby programming language 🦀 inspired by llvm's kaleidoscope☆12Dec 9, 2024Updated last year
- ☆12Nov 2, 2022Updated 3 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Bytecode compiler of a variant of Caml☆34Jun 4, 2015Updated 10 years ago
- Target "triple" support☆56Feb 15, 2026Updated 2 months ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Historic Rust code browsing☆35Jan 14, 2021Updated 5 years ago
- A meta-circular interpreter of a subset of Scheme☆16Apr 12, 2020Updated 6 years ago
- A simple, id-based arena☆127Jan 14, 2026Updated 3 months ago
- Rust bindings for the Linux userfaultfd functionality☆46Jan 26, 2026Updated 3 months ago
- Collates markdown into one file☆17Feb 1, 2018Updated 8 years ago
- Assembler toolkit: encoding and decoding of various architectures☆41Mar 15, 2026Updated last month
- IL Kernel for .NET Interactive☆16Feb 27, 2023Updated 3 years ago
- embr's toy for playing with smartcards☆13Jul 31, 2024Updated last year
- This repo was the first place where we ever talked about flakes. Since then, the activity has now moved to upstream @NixOS/nix.☆13Nov 24, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Scheme compiler to Lua bytecode☆22Apr 21, 2017Updated 9 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- Simple and clear embedabble programming language☆19Apr 3, 2023Updated 3 years ago
- An interpreted language written in Rust inspired by the Lisp family of languages.☆61May 12, 2022Updated 3 years ago
- Emacs Math Symbol Input and LaTeX conversion tools.☆15Oct 5, 2020Updated 5 years ago
- Reversible parsing and pretty-printing.☆17Dec 15, 2014Updated 11 years ago
- A wait-free, pseudo-static approach toward concurrency in blockchain runtimes 🚀.☆11Jul 23, 2022Updated 3 years ago