Pinned Repositories
simsoc-cert
SimSoC-Cert, a toolkit for generating certified processor simulators
afp-Isabelle_C
citadelle-devel
Local mirror of https://git.logicalhacking.com/ftuong/citadelle-devel
symrustc
SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
isabelle_para
Local mirror of http://isabelle.in.tum.de/repos/isabelle and https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL/src/compiler_generic/isabelle_para
opam
OPAM - A package manager for OCaml
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
orca
RTEMS-SMP-Formal
Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects
tuong's Repositories
tuong/afp-Isabelle_Meta_Model
tuong/afp-metadata
tuong/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
tuong/happy
The Happy parser generator for Haskell
tuong/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tuong/orca
tuong/SPARCv8-Models
Isabelle HOL models for the SPARCv8 architecture.
tuong/afp-Clean
tuong/afp-Featherweight_OCL
tuong/citadelle-devel
Local mirror of https://git.logicalhacking.com/ftuong/citadelle-devel
tuong/isabelle_para
Local mirror of http://isabelle.in.tum.de/repos/isabelle and https://projects.brucker.ch/hol-testgen/log/trunk/hol-testgen/add-ons/Featherweight-OCL/src/compiler_generic/isabelle_para
tuong/ocl2015
Public repository to keep some sources related to OCL Workshop'15 organization
tuong/RTEMS-SMP-Formal
Contains formal methods material developed for RTEMS SMP with support from ESA, and subsequent additions by student projects
tuong/afp-Isabelle_C
tuong/citadelle
Local mirror of https://git.logicalhacking.com/ftuong/hol-ocl-2.0
tuong/comment-filter
A Python library and command-line utility comments that filters comments from a source file.
tuong/CSim
CSim^2 compositional verification framework
tuong/CSim2
tuong/haskabelle
Haskabelle is a converter from Haskell source files to Isabelle/HOL theories implemented in Haskell itself.
tuong/l4v
seL4 specification and proofs
tuong/language-c
Source repository for https://hackage.haskell.org/package/language-c
tuong/manual-spin2tests
Small example of using Promela/SPIN to generate tests for the RTEMS operating system.
tuong/menhir
tuong/mlton
The MLton repository
tuong/ocl2018
Public repository to keep some sources related to OCL Workshop'18 organization.
tuong/ocl2019
tuong/promela
Promela parser using PLY (Python lex-yacc)
tuong/rtems-qual
RTEMS Specification Items and Qualification Tools (prototype)
tuong/simsoc-cert
SimSoC-Cert, a toolkit for generating certified processor simulators
tuong/simsoc-cert-doc
SimSoC-Cert, a toolkit for generating certified processor simulators