pcminer-tools/pcminer 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

pcminer-tools/pcminer

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/pcminer-tools/pcminer)

Close

pcminer-tools / pcminerView on GitHubMore

• External links
• Readme badge

PC-miner tool for program chairs

☆29Dec 18, 2025Updated 2 months ago

Alternatives and similar repositories for pcminer

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

• jandom-devel / Jandom

  View on GitHub
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Mar 23, 2022Updated 3 years ago
• formalsec / wasp

  View on GitHub
  WASP was superseded by: https://github.com/OCamlPro/owi
  ☆16Aug 28, 2024Updated last year
• tnelson / FlowLog

  View on GitHub
  ☆17Apr 10, 2015Updated 10 years ago
• cmu-rss-lab / rosdiscover

  View on GitHub
  ☆18Nov 28, 2023Updated 2 years ago
• alexcrichton / debug-cell

  View on GitHub
  Debug RefCell which keeps track of stack traces in debug mode
  ☆24Jul 13, 2023Updated 2 years ago
• Ucombinator / jaam

  View on GitHub
  JVM Abstracting Abstract Machine
  ☆25Jan 29, 2019Updated 7 years ago
• shonfeder / um-abt

  View on GitHub
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆28Nov 11, 2023Updated 2 years ago
• jaspervdj / uplcg

  View on GitHub
  Untitled PL Card Game
  ☆20Apr 15, 2021Updated 4 years ago
• squaresLab / Darjeeling

  View on GitHub
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Jul 9, 2024Updated last year
• ynot-harvard / ynot

  View on GitHub
  The Ynot Project source code.
  ☆22May 5, 2014Updated 11 years ago
• cucapra / styleguide

  View on GitHub
  rules for writing and typesetting
  ☆25Oct 1, 2021Updated 4 years ago
• ShimProfiler / SHIM

  View on GitHub
  ☆56Jun 26, 2015Updated 10 years ago
• yeah-tiger / yeah-tiger.github.io

  View on GitHub
  PL conference deadline countdowns
  ☆65Feb 23, 2026Updated last week
• ezaffanella / PPLite

  View on GitHub
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆30Jan 22, 2026Updated last month
• spangea / Pyra

  View on GitHub
  ☆29Dec 11, 2025Updated 2 months ago
• brownplt / lambda-py

  View on GitHub
  ☆59Jan 30, 2014Updated 12 years ago
• antoinemine / apron

  View on GitHub
  Apron Numerical Abstract Domain Library
  ☆144Feb 13, 2026Updated 2 weeks ago
• jespb / Python-M3GP

  View on GitHub
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Dec 3, 2025Updated 3 months ago
• VeronicaAlvarez / online-probabilistic-load-forecasting

  View on GitHub
  ☆10Jul 29, 2022Updated 3 years ago
• lahovniktadej / gatree

  View on GitHub
  Evolutionary decision trees
  ☆11Jun 16, 2025Updated 8 months ago
• leanprover / LNSym

  View on GitHub
  Armv8 Native Code Symbolic Simulator in Lean
  ☆96Nov 21, 2025Updated 3 months ago
• djiangtw / performance-and-benchmarking-public

  View on GitHub
  A Measurement-Driven Approach for System Software Engineers - Bilingual technical book (繁中/English) on benchmarking methodology, performa…
  ☆24Jan 3, 2026Updated 2 months ago
• smarr / ReBench

  View on GitHub
  Execute and document benchmarks reproducibly.
  ☆98Jul 7, 2025Updated 7 months ago
• kayceesrk / cs6868_s26

  View on GitHub
  CS6868: Concurrent Programming
  ☆32Updated this week
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• skoblov-lab / spliceai-reforged

  View on GitHub
  A GPU-friendly implementation of SpliceAI
  ☆11Dec 8, 2022Updated 3 years ago
• squaresLab / COBOLd

  View on GitHub
  COBOLd: Gobblin’ Up COBOL Bugs for Fun and Profit
  ☆10Mar 30, 2018Updated 7 years ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Feb 23, 2026Updated last week
• viperproject / VerifiedSCION

  View on GitHub
  Verifying the SCION architecture using Gobra
  ☆11Feb 9, 2026Updated 3 weeks ago
• cil-project / cil

  View on GitHub
  C Intermediate Language
  ☆394Sep 14, 2023Updated 2 years ago
• neil-kulkarni / arvada

  View on GitHub
  Grammar synthesis algorithm using a black box oracle
  ☆37May 17, 2024Updated last year
• bpowers / mstat

  View on GitHub
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆50Dec 22, 2025Updated 2 months ago
• Zeta611 / simplebnf

  View on GitHub
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆44Oct 31, 2025Updated 4 months ago
• newrelic / newrelic-python-kata

  View on GitHub
  Newrelic Python Kata
  ☆21May 31, 2013Updated 12 years ago
• SYNTCOMP / benchmarks

  View on GitHub
  Repository of benchmarks for SYNTCOMP
  ☆14Sep 16, 2025Updated 5 months ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• kakutani / rubykaigi

  View on GitHub
  the web site for RubyKaigi.
  ☆44Oct 29, 2011Updated 14 years ago
• evergreen-ci / spruce

  View on GitHub
  Evergreen front-end
  ☆12Apr 5, 2024Updated last year