Discover @channgo2203 Open Source projects

Van Chan Ngo (@channgo2203)

channgo2203

Stars
31
Global Rank 479,903 (Top 17 %)
Followers 13
Registered over 12 years ago
Most used languages

OCaml
50.0 %

Java
7.1 %

TeX
7.1 %

C
7.1 %

HTML
7.1 %

C++
7.1 %

Coq 7.1 %

Standard ML 7.1 %
Location 🇺🇸 United States
Country Total Rank 88,705
Country Ranking

Coq 104

Standard ML 164

OCaml
311

TeX
6,385

fevm

Formalization of EVM in Coq

TinyROS

The essential kernel of Real-time Operating System

while-static-analyzer

An implementation of a simple static analyzer for While-like language

PSCV

Monitor and aspect file generator which are used to automatically instrument SystemC code. The instrumented code can be used with Statistical Model Checking Tool Plasma Lab

SigCV

PDS Simulation Relation Checking with SIGALI: implementation of the theory works in IFM 2012 article as the libraries in SIGALI toolset

Vision

Sidewalk Detection Algorithm based on Line Detection

gpucaml

A tiny functional programming language for fun and play

Enigma-Ocaml

PhotoEncryptor

Photo Encryptor for iOS including iPhone and iPad

arduino-uno-freertos

FreeRTOS for Arduino Uno with CMake

cav_artifact

My CAV 2016 Artifact Evaluation

Lz77-OCaml

The implementation of compression algorithm Lz77 in functional language OCaml

puzzleset

The set of programming questions relating to data structures and algorithms

sigcert

Formal Verification of Synchronous Data-flow Compilers Signal based on Translation Validation Approach.

ELPI_Caml

Elements of Programming Interviews in OCaml

CRFFL

CRFFL (Constant-Resource First-Order Functional Language) is a tool that automatically and statically checks that a program is constant resource-usage with respect to the sizes of its inputs. It also automatically transforms a non-constant-resource program into constant-resource one.

PdgC

Program Dependence Graph of C Programs

clkcert

Clock validation for synchronous data-flow languages as type checking. This tool is implemented for Signal language.

ocaml-data-structures

Implementation of popular purely functional data structures in OCaml