Alternatives and similar repositories for RelatedWork

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

• RafaelTupynamba / quicksampler

  View on GitHub
  Efficient Sampling of SAT Solutions for Testing
  ☆35Sep 20, 2019Updated 6 years ago
• jesse-michael-han / neuro-cadical

  View on GitHub
  CaDiCaL + neural glue variable predictions
  ☆10Oct 21, 2020Updated 5 years ago
• trapsocialenginer / DcRat

  View on GitHub
  ☆10Jan 30, 2022Updated 4 years ago
• amtal / blindsight

  View on GitHub
  High-density, terminal-based binary viewer for visual pattern matching.
  ☆21May 11, 2018Updated 7 years ago
• arminbiere / runlim

  View on GitHub
  ☆17Mar 9, 2024Updated last year
• vusec / safeinit

  View on GitHub
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆26May 5, 2021Updated 4 years ago
• bingseclab / piecewise

  View on GitHub
  Piecewise debloating toolchain
  ☆15Dec 21, 2019Updated 6 years ago
• 0tcb / TAP

  View on GitHub
  ☆22Dec 2, 2022Updated 3 years ago
• axt / bingraphvis

  View on GitHub
  ☆45Mar 13, 2022Updated 3 years ago
• uwplse / memsynth

  View on GitHub
  An advanced automated reasoning tool for memory consistency model specifications.
  ☆25Dec 6, 2021Updated 4 years ago
• ymanerka / rtlcheck

  View on GitHub
  RTLCheck
  ☆25Oct 9, 2018Updated 7 years ago
• junxzm1990 / iot-security

  View on GitHub
  ☆23Apr 7, 2022Updated 3 years ago
• opencompl / mlir-fuzz

  View on GitHub
  A enumerator for MLIR, relying on the information given by IRDL.
  ☆23Updated this week
• draperlaboratory / cbat_tools

  View on GitHub
  Program analysis tools developed at Draper on the CBAT project.
  ☆106Apr 13, 2023Updated 2 years ago
• PacktPublishing / Django-with-Data-Science

  View on GitHub
  Django with Data Science [Video], published by Packt
  ☆12Dec 15, 2025Updated 2 months ago
• cisco-open / llvm-crash-analyzer

  View on GitHub
  llvm crash analysis
  ☆44Jun 26, 2024Updated last year
• runekrauss / freddy

  View on GitHub
  A design automation framework to engineer decision diagrams yourself
  ☆25Updated this week
• agurfinkel / minisat

  View on GitHub
  A minimalistic and high-performance SAT solver
  ☆26Mar 4, 2024Updated last year
• darchr / gem5art

  View on GitHub
  Artifact, reproducibility, and testing utilites for gem5
  ☆23Jul 1, 2021Updated 4 years ago
• dtcxzyw / llvm-ub-aware-interpreter

  View on GitHub
  UB-aware interpreter for LLVM debugging
  ☆44Updated this week
• nickgildea / z3_codegen

  View on GitHub
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆35Nov 13, 2017Updated 8 years ago
• YosysHQ / VlogHammer

  View on GitHub
  A Verilog Synthesis Regression Test
  ☆37Jan 19, 2026Updated 3 weeks ago
• disasmwinnie / proxbbe

  View on GitHub
  ProXBBE (Protocol eXtraction By Binary Execution)
  ☆31Sep 21, 2017Updated 8 years ago
• panorama-research / mobstr-dataset

  View on GitHub
  The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…
  ☆10Mar 18, 2022Updated 3 years ago
• ahmedsnoun / Parse-Login-UI-Android

  View on GitHub
  This is a Login application for Android using Parse server.
  ☆10Nov 26, 2018Updated 7 years ago
• GaloisInc / renovate

  View on GitHub
  A library for binary analysis and rewriting
  ☆49Sep 28, 2023Updated 2 years ago
• riscvarchive / ISA_Formal_Spec_Public_Review

  View on GitHub
  Locus site for Public Review of Several RISC-V ISA Formal Specs
  ☆75Jun 18, 2020Updated 5 years ago
• HackerDev-Felix / Phoenix-Framework

  View on GitHub
  Phoenix Framework Project
  ☆42Oct 6, 2021Updated 4 years ago
• bchurchill / pldi19-equivalence-checker

  View on GitHub
  Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
  ☆44Apr 2, 2020Updated 5 years ago
• ThiagoLira / AutoFisher-SV

  View on GitHub
  ☆10Feb 9, 2024Updated 2 years ago
• Nikolaj-K / turing-complete-smart-contract

  View on GitHub
  An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.
  ☆13Aug 31, 2018Updated 7 years ago
• KalobTaulien / wagtail-tinypng

  View on GitHub
  Lossless image minification using TinyPNG
  ☆10May 25, 2019Updated 6 years ago
• K2 / olol

  View on GitHub
  # Ollama<=>Ollama Inference Cluster
  ☆20Aug 8, 2025Updated 6 months ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Updated this week
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• gyileng / python-spider

  View on GitHub
  不定期更新爬取各国网站的爬虫源码
  ☆10Aug 15, 2018Updated 7 years ago
• zacharski / database-course

  View on GitHub
  database-course
  ☆13Jan 6, 2023Updated 3 years ago
• YihuiCalm / Digital_Design_Flow

  View on GitHub
  Scripts for Digital Design flow control.
  ☆16Oct 30, 2025Updated 3 months ago
• aimforbigfoot / Genetic-Algorithm-In-Godot

  View on GitHub
  Exactly what the title says.
  ☆13Feb 2, 2021Updated 5 years ago