PhongNgo

Phong Ngo's repositories

C

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

Language:CGPL-3.0010

C-Plus-Plus

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

Language:C++MIT000

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

git-playground

This is the repo for students to practice git!

Language:Java000

litmus-tests-riscv

RISC-V architecture concurrency model litmus tests

Language:AssemblyNOASSERTION010

llvm

Custom Low Level Virtual Machine (LLVM) for HiPE

Language:C++NOASSERTION020

opam-repository

REMS Project package repository for OPAM

Language:ShellCC0-1.0000

persist

Source code for Persist

Language:C++GPL-2.0020

otp

Erlang/OTP

Language:Erlang000

sylvan

Implementation of multi-core (binary) decision diagrams

Language:CApache-2.0010