mgrang/non-determinism 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

mgrang/non-determinism

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/mgrang/non-determinism)

Close

mgrang / non-determinismView on GitHubMore

• External links
• Readme badge

Fighting Non-determinism in C++ Compilers

☆17Mar 13, 2019Updated 7 years ago

Alternatives and similar repositories for non-determinism

Users that are interested in non-determinism are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• FoelliX / ReproDroid

  View on GitHub
  Android Benchmark Reproduction Framework
  ☆12Nov 30, 2021Updated 4 years ago
• qingkaishi / context-sensitive-reachability

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 4 years ago
• catap / dnscrypt-osxclient

  View on GitHub
  Mac OSX application to control the DNSCrypt Proxy
  ☆12Oct 7, 2017Updated 9 years ago
• informalsystems / modelator-py

  View on GitHub
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆27Nov 18, 2022Updated 3 years ago
• mmottl / pomap

  View on GitHub
  OCaml library for partially ordered maps
  ☆15Jun 23, 2026Updated 3 months ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ixchow / freiscale

  View on GitHub
  Freiscale Semicomposer -- music composition without scales
  ☆11Apr 3, 2023Updated 3 years ago
• mirage / ocaml-tuntap

  View on GitHub
  Bindings to UNIX tuntap facilities
  ☆23Jul 6, 2026Updated 3 months ago
• australia / mobtranslate-server

  View on GitHub
  a nodejs server that provides the api -> https://api.mobtranslate.com
  ☆12Nov 19, 2023Updated 2 years ago
• BenjaminNavarro / lvc

  View on GitHub
  Collection of C++ containers extracted from LLVM
  ☆26May 11, 2021Updated 5 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• Armael / cdcl

  View on GitHub
  ☆19Nov 21, 2019Updated 6 years ago
• vilts / PDU

  View on GitHub
  PDU encode/decode
  ☆13May 12, 2010Updated 16 years ago
• IMCG / graph-theory-algorithms-book

  View on GitHub
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆21Oct 29, 2015Updated 10 years ago
• nickbalestra / nickbalestra.github.io

  View on GitHub
  My personal website
  ☆10Oct 1, 2020Updated 6 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• hiraditya / std-benchmark

  View on GitHub
  A benchmark for standard libraries
  ☆21Sep 23, 2023Updated 3 years ago
• enarx / sgx

  View on GitHub
  Library for Intel SGX
  ☆16Jun 19, 2026Updated 3 months ago
• weijiekoh / poseidon-encryption-circom

  View on GitHub
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆14Jul 12, 2023Updated 3 years ago
• hehopmajieh / olinuxino_configs

  View on GitHub
  Default Linux/Android defconfig and fex files for OLinuXino Boards
  ☆11Jun 16, 2017Updated 9 years ago
• mpollmeier / scala-repl-pp

  View on GitHub
  Scala REPL enhancements
  ☆26Jul 16, 2026Updated 2 months ago
• The-OpenROAD-Project-Attic / flute

  View on GitHub
  Flute 3.1 with CMake support
  ☆16Jul 25, 2019Updated 7 years ago
• penumbra-zone / decaf377

  View on GitHub
  decaf377 is a prime-order group designed for use in SNARKs over BLS12-377
  ☆17Mar 9, 2025Updated last year
• parasol-aser / UFO

  View on GitHub
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Feb 18, 2020Updated 6 years ago
• ycaibb / octomap_rrt

  View on GitHub
  RRT algorithm based on OctoMap
  ☆23Jul 24, 2018Updated 8 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• blockchainsllc / in3-server

  View on GitHub
  Incubed Node/Server repository
  ☆12Mar 27, 2023Updated 3 years ago
• wcventure / PERIOD

  View on GitHub
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆36Oct 9, 2022Updated 4 years ago
• banago / Bridge

  View on GitHub
  Brige is a common interface to transfer data through FTP and SFTP protocols.
  ☆22Jan 14, 2016Updated 10 years ago
• boomshroom / dumb-exec

  View on GitHub
  A simple, dumb executor for rust futures in constrained environments.
  ☆18Nov 23, 2018Updated 7 years ago
• ndokmai / rust-sgx-remote-attestation

  View on GitHub
  Remote attestation framework for Fortanix EDP
  ☆22Jan 11, 2021Updated 5 years ago
• mattn / typogrep

  View on GitHub
  ☆17Dec 16, 2018Updated 7 years ago
• markjenny / my_ucore_os_lab

  View on GitHub
  study the operating system step by step, using the https://github.com/chyyuu/ucore_os_lab
  ☆26Apr 1, 2018Updated 8 years ago
• idank / explainshell-manpages

  View on GitHub
  source man pages for explainshell.com
  ☆18Apr 12, 2026Updated 6 months ago
• tych0 / presentations

  View on GitHub
  Code/instructions for various slides/demos I've given
  ☆12Oct 27, 2017Updated 8 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• Pelagicore / qrule

  View on GitHub
  Semantic rule engine for QML
  ☆10Aug 3, 2017Updated 9 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• siuying / Deliver.app

  View on GitHub
  An app to upload screenshots and metadata to App Store. Frontend for deliver.
  ☆13Aug 1, 2015Updated 11 years ago
• antmicro / usb-test-suite-cocotb-usb

  View on GitHub
  ☆10Apr 8, 2021Updated 5 years ago
• simonw / datasette-media

  View on GitHub
  Datasette plugin for serving media based on a SQL query
  ☆21Dec 13, 2022Updated 3 years ago
• gzigzigzeo / mhedruli

  View on GitHub
  Учим грузинский алфавит (Google Chrome)
  ☆11Sep 1, 2016Updated 10 years ago
• gjcarrette / crashme

  View on GitHub
  ☆12Mar 9, 2022Updated 4 years ago