Giters
Thanh-Toan Nguyen (thanhtoantnt)

thanhtoantnt

Geek Repo

6

followers

2

following

82

stars

Location:Hong Kong

Home Page:https://thanhtoantnt.github.io/

Github PK Tool:Github PK Tool

Thanh-Toan Nguyen's starred repositories

audits

Smart contract audits performed on Sablier by third-party security researchers

Stargazers:20Issues:0Issues:0

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

Language:SolidityStargazers:4966Issues:0Issues:0

miri

An interpreter for Rust's mid-level intermediate representation

Language:RustLicense:Apache-2.0Stargazers:4166Issues:0Issues:0

Coq-BB5

Language:CoqLicense:MITStargazers:101Issues:0Issues:0

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

Language:OCamlLicense:Apache-2.0Stargazers:542Issues:0Issues:0

rustviz

Interactively Visualizing Ownership and Borrowing for Rust

Language:HTMLLicense:MITStargazers:2658Issues:0Issues:0

optee_os

Trusted side of the TEE

Language:CLicense:NOASSERTIONStargazers:1520Issues:0Issues:0

github-tui

🌒 A TUI for GitHub

Language:OCamlLicense:MPL-2.0Stargazers:44Issues:0Issues:0

cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.

Language:C++License:BSD-3-ClauseStargazers:117Issues:0Issues:0

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

Language:RustLicense:MITStargazers:1486Issues:0Issues:0

evm-dafny

An EVM interpreter in Dafny

Language:DafnyLicense:Apache-2.0Stargazers:121Issues:0Issues:0

cryptol-specs

A central repository for specifications of cryptographic algorithms in Cryptol

Language:TeXLicense:BSD-3-ClauseStargazers:28Issues:0Issues:0

mbedtls

An open source, portable, easy to use, readable and flexible TLS library, and reference implementation of the PSA Cryptography API. Releases are on a varying cadence, typically around 3 - 6 months between releases.

Language:CLicense:NOASSERTIONStargazers:5046Issues:0Issues:0

dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

Language:DafnyLicense:GPL-3.0Stargazers:29Issues:0Issues:0

ebpf-verifier

eBPF verifier based on abstract interpretation

Language:C++License:MITStargazers:360Issues:0Issues:0

icemaker

automatially find crashes in the rust compiler & tooling

Language:RustStargazers:58Issues:0Issues:0

compfiles

Catalog Of Math Problems Formalized In Lean

Language:LeanLicense:Apache-2.0Stargazers:63Issues:0Issues:0

VST

Verified Software Toolchain

Language:CoqLicense:NOASSERTIONStargazers:426Issues:0Issues:0

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:2261Issues:0Issues:0

coq-tla

Language:CoqStargazers:16Issues:0Issues:0

project-based-learning

Curated list of project-based tutorials

License:MITStargazers:180680Issues:0Issues:0

build-your-own-x

Master programming by recreating your favorite technologies from scratch.

Stargazers:282264Issues:0Issues:0

geektime-books

:books: 极客时间电子书

Stargazers:9435Issues:0Issues:0

kernel

License:NOASSERTIONStargazers:53Issues:0Issues:0

100-exercises-to-learn-rust

A self-paced course to learn Rust, one exercise at a time.

Language:RustStargazers:3152Issues:0Issues:0

collisions

Hash collisions and exploitations

Language:PythonStargazers:2996Issues:0Issues:0

the-art-of-debugging

The Art of Debugging

Language:CLicense:CC-BY-SA-4.0Stargazers:754Issues:0Issues:0

tiny-gpu

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Language:SystemVerilogStargazers:6630Issues:0Issues:0

tech-interview-handbook

💯 Curated coding interview preparation materials for busy software engineers

Language:TypeScriptLicense:MITStargazers:113897Issues:0Issues:0

ssprove

A foundational framework for modular cryptographic proofs in Coq

Language:CoqLicense:MITStargazers:53Issues:0Issues:0