Pinned Repositories
abseil-cpp
Abseil Common Libraries (C++)
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Beautybook
A very Beautiful LaTeX Book Template, Happy LaTeXing!
btree
BTree provides a simple, ordered, in-memory data structure for Go programs.
clang-llvm-details
LLCM/CLANG API usage fot latest version
clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
core
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
cpython
The Python programming language
fastapi
FastAPI framework, high performance, easy to learn, fast to code, ready for production
ronleeon's Repositories
ronleeon/clang-llvm-details
LLCM/CLANG API usage fot latest version
ronleeon/abseil-cpp
Abseil Common Libraries (C++)
ronleeon/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
ronleeon/Beautybook
A very Beautiful LaTeX Book Template, Happy LaTeXing!
ronleeon/btree
BTree provides a simple, ordered, in-memory data structure for Go programs.
ronleeon/core
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
ronleeon/CppCoreGuidelines
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
ronleeon/cpython
The Python programming language
ronleeon/fastapi
FastAPI framework, high performance, easy to learn, fast to code, ready for production
ronleeon/fastjson2
🚄 FASTJSON2是FASTJSON项目的重要升级,目标是为下一个十年提供一个高性能的JSON库
ronleeon/folly
An open-source C++ library developed and used at Facebook.
ronleeon/googletest
GoogleTest - Google Testing and Mocking Framework
ronleeon/klee
KLEE Symbolic Execution Engine
ronleeon/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
ronleeon/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ronleeon/phasar
A LLVM-based static analysis framework.
ronleeon/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
ronleeon/ronleeon.github.io
ronleeon/rust
Empowering everyone to build reliable and efficient software.
ronleeon/RustPython
A Python Interpreter written in Rust
ronleeon/slate
A completely customizable framework for building rich text editors. (Currently in beta.)
ronleeon/sqlite
Official Git mirror of the SQLite source tree
ronleeon/svelte
Cybernetically enhanced web apps
ronleeon/SVF
Static Value-Flow Analysis Framework for Source Code
ronleeon/tdesign-vue-next
A Vue3.x UI components lib for TDesign.
ronleeon/turin-machine-cpp
A cpp implementation of turin machine
ronleeon/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
ronleeon/vscode-cmake-tools
CMake integration in Visual Studio Code
ronleeon/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
ronleeon/z3
The Z3 Theorem Prover