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.

• zkincaid / duet

  View on GitHub
  Duet: static analysis for unbounded concurrency
  ☆29Feb 6, 2026Updated 3 months ago
• hku-systems / owl

  View on GitHub
  ☆13Mar 1, 2020Updated 6 years ago
• FoelliX / ReproDroid

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

  View on GitHub
  Indexing reachability for context-sensitive data flow analysis.
  ☆12Jul 10, 2022Updated 3 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
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• mirage / ocaml-tuntap

  View on GitHub
  Bindings to UNIX tuntap facilities
  ☆22Mar 5, 2025Updated last year
• australia / mobtranslate-server

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

  View on GitHub
  Flute 3.1 with CMake support
  ☆14Jul 25, 2019Updated 6 years ago
• vincenzoml / topochecker

  View on GitHub
  Topochecker, a topological model checker
  ☆22Nov 19, 2019Updated 6 years ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• dialdroid-android / DIALDroid

  View on GitHub
  ☆18Apr 17, 2018Updated 8 years ago
• awen-li / PCA

  View on GitHub
  A data dependence analyzer for C program
  ☆20Jan 23, 2022Updated 4 years ago
• amiller / sgx-epid-contest

  View on GitHub
  Good Riddance to EPID Pre-Deprecation Memorial Contest
  ☆13Dec 22, 2023Updated 2 years ago
• esleducation / week-planner

  View on GitHub
  Tool to define ranges of hours (i.e. to set opening hours)
  ☆18Jan 20, 2014Updated 12 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• awslabs / typecart

  View on GitHub
  ☆23Dec 2, 2024Updated last year
• hehopmajieh / olinuxino_configs

  View on GitHub
  Default Linux/Android defconfig and fex files for OLinuXino Boards
  ☆11Jun 16, 2017Updated 8 years ago
• parasol-aser / UFO

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

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

  View on GitHub
  RRT algorithm based on OctoMap
  ☆23Jul 24, 2018Updated 7 years ago
• maximbilan / UIAlertController-Customization

  View on GitHub
  Customization of UIAlertController
  ☆18Sep 22, 2018Updated 7 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
• phelum / CT_NandBoot

  View on GitHub
  Sets Cubietruck to allow Linux boot from NAND
  ☆14May 5, 2016Updated 10 years ago
• Pelagicore / qrule

  View on GitHub
  Semantic rule engine for QML
  ☆10Aug 3, 2017Updated 8 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• boomshroom / dumb-exec

  View on GitHub
  A simple, dumb executor for rust futures in constrained environments.
  ☆18Nov 23, 2018Updated 7 years ago
• numist / NNKit

  View on GitHub
  A Swiss Army Knife for Objective-C developers
  ☆79Jun 4, 2016Updated 9 years ago
• ndokmai / rust-sgx-remote-attestation

  View on GitHub
  Remote attestation framework for Fortanix EDP
  ☆22Jan 11, 2021Updated 5 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
  ☆27Apr 1, 2018Updated 8 years ago
• Ducasse / SOUL

  View on GitHub
  Rescuing the SOUL great logic meta programming language
  ☆12Oct 7, 2018Updated 7 years ago
• sslab-gatech / juxta

  View on GitHub
  ☆25Nov 15, 2021Updated 4 years ago
• google / coq-bpf

  View on GitHub
  Coq BPF interpreter
  ☆19Jan 18, 2018Updated 8 years ago
• phildow / SPSearchStore

  View on GitHub
  Objective-C wrapper for the SearchKit API / Mac OS
  ☆27Dec 6, 2011Updated 14 years ago
• apg / grapt

  View on GitHub
  simple charting tools for unix.
  ☆28Oct 22, 2015Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• CodaFi / APL.swift

  View on GitHub
  Combinators for the real world
  ☆14Aug 16, 2014Updated 11 years ago
• BYU-Bazel / bazel-ls

  View on GitHub
  A Bazel language server prototype
  ☆10Feb 10, 2022Updated 4 years ago
• rlepigre / ocaml-imagelib

  View on GitHub
  The imagelib library implements image formats such as PNG or PPM
  ☆37Aug 31, 2025Updated 8 months ago
• niw / clang_plugins

  View on GitHub
  A repository for clang plugins development
  ☆12Aug 19, 2018Updated 7 years ago
• antmicro / usb-test-suite-cocotb-usb

  View on GitHub
  ☆10Apr 8, 2021Updated 5 years ago
• bmorphism / risc0-cosmwasm-example

  View on GitHub
  CosmWasm + zkVM RISC-V EFI template
  ☆23Oct 20, 2022Updated 3 years ago
• gitorious / git-archive-daemon

  View on GitHub
  Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)
  ☆13Nov 18, 2014Updated 11 years ago