Phong Ngo's repositories
dualtso
Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO, PSO and VIPS memory models.
Language:C++GPL-3.0000
persist
Source code for Persist
Language:C++GPL-2.0000
opam-repository
REMS Project package repository for OPAM
Language:ShellCC0-1.0000
git-playground
This is the repo for students to practice git!
Language:Java000
C-Plus-Plus
Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.
MIT000
C
Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.
GPL-3.0000
sylvan
Implementation of multi-core (binary) decision diagrams
Language:CApache-2.0000
litmus-tests-riscv
RISC-V architecture concurrency model litmus tests
NOASSERTION000
otp
Erlang/OTP
Language:Erlang000
llvm
Custom Low Level Virtual Machine (LLVM) for HiPE
Language:C++NOASSERTION000