Node.fz: Trigger race conditions in your Node.js code in test, not production.
☆42Aug 31, 2020Updated 5 years ago
Alternatives and similar repositories for NodeFz
Users that are interested in NodeFz are comparing it to the libraries listed below
Sorting:
- An npm package for demonstration purposes using TypeScript to build for both the ECMAScript Module format (i.e. ESM or ES Module) and Com…☆15Aug 22, 2022Updated 3 years ago
- S2E Core Engine Library☆15Jan 7, 2020Updated 6 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆41Jul 8, 2021Updated 4 years ago
- Compiling finite generators to digital logic. WIP☆13Aug 24, 2020Updated 5 years ago
- Convenience methods for dealing with proportions (a part, share, or number considered in comparative relation to a whole).☆12Dec 13, 2016Updated 9 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Jul 30, 2016Updated 9 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 9 years ago
- A fun example of working with Rust ASTs and syntex_syntax☆19Feb 21, 2018Updated 8 years ago
- A set of supplementary data for the yet-to-be-published Medium post☆17Nov 13, 2017Updated 8 years ago
- A Coarse-grained Dynamic Analysis Framework☆23Jan 24, 2026Updated last month
- Scalable Analysis Framework for ECMAScript☆120May 13, 2021Updated 4 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- VUDDY & hmark for IoTcube☆22Apr 28, 2023Updated 2 years ago
- ☆13Jan 7, 2021Updated 5 years ago
- Tutorial for essence-of-live-coding☆17Apr 12, 2023Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆33Jul 6, 2019Updated 6 years ago
- Source code for the Naturalize project☆56Sep 5, 2015Updated 10 years ago
- Verify backward compatibility of Linux packages (RPM or DEB)☆22Jun 6, 2020Updated 5 years ago
- FoRTE-Research's fuzzing benchmarks☆57Mar 12, 2019Updated 7 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆60Jan 18, 2025Updated last year
- ☆19Jun 1, 2024Updated last year
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- Examples from the class CMSC 330 during Summer 2015☆49Jul 23, 2015Updated 10 years ago
- Proof assistant for Typographical Number Theory☆16Dec 15, 2015Updated 10 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 3 years ago
- 苹果商店模拟购买下载工具。☆18Dec 30, 2021Updated 4 years ago
- dthreads: Efficient Deterministic Multithreading☆71Nov 19, 2014Updated 11 years ago
- ☆28Jun 27, 2019Updated 6 years ago
- Automatically exported from code.google.com/p/type-inference☆27Jan 22, 2019Updated 7 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- A LaTeX package for commenting multi-author documents☆12Feb 12, 2015Updated 11 years ago
- WALA analyses and tools that are implemented in JavaScript☆81Oct 25, 2016Updated 9 years ago
- ☆14Apr 5, 2023Updated 2 years ago
- External link tracking tool for Wikimedia partnerships☆11Oct 3, 2025Updated 5 months ago
- A language and tool for relational models☆12Jul 20, 2017Updated 8 years ago
- A stateless model checker powered by maximal causality reduction☆38Oct 13, 2020Updated 5 years ago