polyvios/locksmith external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

polyvios/locksmith

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/polyvios/locksmith)

Close

polyvios / locksmithView on GitHubMore

• External links
• Readme badge

A data race detector for C+Pthreads programs

☆12Nov 8, 2022Updated 3 years ago

Alternatives and similar repositories for locksmith

Users that are interested in locksmith are comparing it to the libraries listed below

• Lawliar / ConAFL

  View on GitHub
  AFL enhanced for concurrency bug and vulnerabilities
  ☆19Sep 18, 2020Updated 5 years ago
• CARV-ICS-FORTH / kreon

  View on GitHub
  Kreon is a key-value store library optimized for flash-based storage
  ☆32Feb 7, 2022Updated 4 years ago
• CARV-ICS-FORTH / parallax

  View on GitHub
  A persistent key-value store that is embeddable and optimized for fast storage.
  ☆36Oct 24, 2024Updated last year
• sslab-gatech / krace

  View on GitHub
  Source code release for the KRace project
  ☆31Nov 15, 2021Updated 4 years ago
• CARV-ICS-FORTH / FastMap

  View on GitHub
  ☆36Sep 29, 2021Updated 4 years ago
• csnake-org / CSnake

  View on GitHub
  Python CMake wrapper
  ☆13Jul 21, 2022Updated 3 years ago
• AlibabaOrionSecurityLab / TimePlayer

  View on GitHub
  ☆11Sep 5, 2019Updated 6 years ago
• yangqiang / BigDataBench-Spark

  View on GitHub
  BigDataBench Spark workloads
  ☆11Jul 15, 2016Updated 9 years ago
• opedroso / rust-windbg

  View on GitHub
  Document intricacies of using WinDBG to aid Rust project development
  ☆17Nov 19, 2024Updated last year
• NeuroLexDiagnostics / Voice-Analysis-Pipeline

  View on GitHub
  Voice Analysis Pipeline for DigiPsych Lab
  ☆10Sep 15, 2019Updated 6 years ago
• pseudocc / dotnetjs

  View on GitHub
  .Net Framework support in javascript/typescript.
  ☆12Dec 1, 2023Updated 2 years ago
• dropbox / phabricator-changes

  View on GitHub
  Integration between Phabricator and Changes. This repository is no longer maintained.
  ☆19Mar 21, 2017Updated 8 years ago
• Inception-framework / translator

  View on GitHub
  A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.
  ☆12Oct 20, 2022Updated 3 years ago
• openjdk / jdk22

  View on GitHub
  https://openjdk.org/projects/jdk/22 released 2024-03-19
  ☆14Mar 19, 2024Updated last year
• keybraker / csd-wiki

  View on GitHub
  CSD Wiki
  ☆52Feb 3, 2024Updated 2 years ago
• spotify / futuristic-feline

  View on GitHub
  futuristic-feline is a library for detecting blocking Java futures at runtime
  ☆17Feb 19, 2026Updated last week
• NVSL / blaze

  View on GitHub
  Blaze: Fast Graph Processing on Fast SSDs (SC'22)
  ☆11Oct 12, 2022Updated 3 years ago
• bwasty / particle-fluids

  View on GitHub
  Screen space fluid rendering with Ogre and Nvidia PhysX
  ☆10Jul 22, 2017Updated 8 years ago
• tinytek-io / vscode-windcraft

  View on GitHub
  Pre-release: VS Code extension for making front-end development a breeze
  ☆12Jun 17, 2024Updated last year
• feyeleanor / raw

  View on GitHub
  Taking a Ruby-shaped chainsaw to Go type safety in the interests of elegance
  ☆17Feb 19, 2022Updated 4 years ago
• CoCoAbstractInterpretation / CoCo

  View on GitHub
  ☆10Sep 25, 2024Updated last year
• NKXLAB / AndroidClusters

  View on GitHub
  Android Clusters - Use Old Phone
  ☆10Feb 19, 2014Updated 12 years ago
• smackers / whoop

  View on GitHub
  automatic data race analysis for Linux device drivers
  ☆12Jul 27, 2016Updated 9 years ago
• SenticNet / multimodal-fusion

  View on GitHub
  Attention-based multimodal fusion for sentiment analysis
  ☆13Aug 14, 2018Updated 7 years ago
• jdupuy / marchingCube

  View on GitHub
  Marching cube on the GPU
  ☆10Oct 1, 2012Updated 13 years ago
• blockdiag / blockdiag_interactive_shell

  View on GitHub
  ☆17Jun 29, 2020Updated 5 years ago
• Ember-IO / Ember-IO-Fuzzing

  View on GitHub
  ☆11Jul 4, 2023Updated 2 years ago
• mareco94 / YouTubeDataAPI

  View on GitHub
  A YouTube Crawler with the use of YouTube Data API (v3)
  ☆13Apr 19, 2021Updated 4 years ago
• chazapis / hy548

  View on GitHub
  Material for the "CS-548: Cloud-native Software Architectures" postgraduate course
  ☆12Feb 18, 2026Updated last week
• CocaVul / Coca

  View on GitHub
  Code for ICSE'24 Paper
  ☆14Apr 21, 2024Updated last year
• XuexiongLuoMQ / GLADC

  View on GitHub
  The paper "Deep Graph Level Anomaly Detection with Contrastive Learning" has been accepted by Scientific Reports Journal.
  ☆12Feb 10, 2023Updated 3 years ago
• c11tester / c11tester

  View on GitHub
  Tool for testing programs with C/C++11 Atomics
  ☆11Dec 9, 2024Updated last year
• tacy / plugin.video.youkuvideo

  View on GitHub
  XBMC优酷插件，支持全类目索引，支持Souku搜索和多源播放（QQ/Sohu/iqiyi等）
  ☆19Feb 25, 2015Updated 11 years ago
• gavlegoat / charon

  View on GitHub
  The Charon tool for analyzing neural network robustness
  ☆13Mar 19, 2020Updated 5 years ago
• RiS3-Lab / p2im-unit_tests

  View on GitHub
  Unit test firmware evaluated in P2IM paper
  ☆11Jul 2, 2021Updated 4 years ago
• CARV-ICS-FORTH / H3

  View on GitHub
  H3 is an embedded object store in C, Python, and Java
  ☆12Jul 7, 2021Updated 4 years ago
• pial08 / SemVulDet

  View on GitHub
  ☆10Jul 19, 2023Updated 2 years ago
• michaelbrownuc / llap

  View on GitHub
  LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…
  ☆16May 17, 2023Updated 2 years ago
• pluohust / ConFuzz

  View on GitHub
  ☆12May 31, 2018Updated 7 years ago