Automated data race detection from a distributed trace via SMT constraint solving
☆17Jan 4, 2022Updated 4 years ago
Alternatives and similar repositories for SPIDER
Users that are interested in SPIDER are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zettelkasten file processor☆11Oct 7, 2020Updated 5 years ago
- Badge Platform Web App for SEI @ University of Minho☆12Sep 28, 2021Updated 4 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- medium inspired theme for hakyll☆10Jul 27, 2021Updated 5 years ago
- Multi-display game show engine for the Pixels Camp on-stage quiz.☆14Nov 5, 2020Updated 5 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.
- Dynamic Analysis for Concurrent Programs☆33Aug 8, 2026Updated last month
- Language-generic workbench for building static analysis☆46Oct 5, 2023Updated 2 years ago
- Using StimulusJS controllers, adding nested forms to a Rails application is easy and unobtrusive. In this episode, we look at an alternat…☆14May 6, 2019Updated 7 years ago
- A race detector for Golang☆11Jan 16, 2020Updated 6 years ago
- Modeling DNS with Alloy☆37Dec 6, 2021Updated 4 years ago
- Frama-C plugins for deadlock and data race detection☆15Updated this week
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- AFL enhanced for concurrency bug and vulnerabilities☆19Sep 18, 2020Updated 6 years ago
- A text-based adventure game built in javascript☆12Jun 8, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- Scoopi Web Scraper is a heavy duty tool to extract data from HTML pages.☆21Sep 27, 2022Updated 3 years ago
- A framework for implementing Block Devices in User Space☆35Jan 10, 2022Updated 4 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- ☆17May 6, 2026Updated 4 months ago
- Dump tool for CLR MDIL assemblies☆16May 10, 2014Updated 12 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- Explorations in relations and the algebra of programming☆17Oct 4, 2019Updated 6 years ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆44Apr 26, 2021Updated 5 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 GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Quick explanation of eliminating left recursion in Haskell parsers☆57Sep 13, 2021Updated 5 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- 🗺️ A world map with the places we've been☆23Aug 26, 2026Updated 3 weeks ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Jun 12, 2020Updated 6 years ago
- a novel image-to-image translation method☆29Dec 15, 2019Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tempest plugin for testing and verifying RBAC policy enforcement. Mirror of code maintained at opendev.org.☆11Apr 13, 2023Updated 3 years ago
- Derive KnownNat constraints from other KnownNat constraints☆14Jun 19, 2026Updated 3 months ago
- the open source parametric flow passage generator☆12Jun 17, 2024Updated 2 years ago
- "Todos sabemos que esta vida está agreste mas o português é mestre na arte de desenrascar"☆19Mar 8, 2026Updated 6 months ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Main documentation and specification repository for Ecma TC 57☆17Updated this week
- Comparing Haskell effect systems for ergonomics and speed☆66Mar 21, 2021Updated 5 years ago