Json Lee's Projects
An Open Source Implementation of the Actor Model in C++
A Compiler Writing Journey
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
:memo: Akka源码分析
教科书《计算机体系结构基础》(胡伟武等,第三版)的开源版本
Tiny Erlang VM
A curated list of CTF frameworks, libraries, resources and softwares
A collection of awesome ethical hacking and security related content!
Implementation of a simple SIMD processor in Verilog, core of which is a 16-bit SIMD ALU. 2's compliment calculations are implemented in this ALU. The ALU operation will take two clocks. The first clock cycle will be used to load values into the registers. The second will be for performing the operations. 6-bit opcodes are used to select the functions. The instruction code, including the opcode, will be 18-bit.
Big Data and Machine Intelligence Course in Autumn 2019.
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Languages, and about languages, on the BEAM
A scalability benchmark suite for Erlang/OTP
Source code for the virtualization book
A bump pointer allocator
example code
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
An axiom-free formalization of category theory in Coq for personal study and practical work
Composable C++ futures
Contributions to Microsoft's Checked C project developed by PLUMmers
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
An elegant unit testing framework for C with support for mock objects.
Compiler Assisted Software Fault Tolerance
Datasets, tools, and benchmarks for representation learning of code.
The CompCert formally-verified C compiler
A reinforcement learning toolkit for compiler optimizations
A fast multi-producer, multi-consumer lock-free concurrent queue for C++11