ronleeon's repositories
clang-llvm-details
LLCM/CLANG API usage fot latest version
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.
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
fastjson2
🚄 FASTJSON2是FASTJSON项目的重要升级，目标是为下一个十年提供一个高性能的JSON库
folly
An open-source C++ library developed and used at Facebook.
googletest
GoogleTest - Google Testing and Mocking Framework
klee
KLEE Symbolic Execution Engine
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
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.
phasar
A LLVM-based static analysis framework.
react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
rust
Empowering everyone to build reliable and efficient software.
RustPython
A Python Interpreter written in Rust
slate
A completely customizable framework for building rich text editors. (Currently in beta.)
sqlite
Official Git mirror of the SQLite source tree
svelte
Cybernetically enhanced web apps
SVF
Static Value-Flow Analysis Framework for Source Code
tdesign-vue-next
A Vue3.x UI components lib for TDesign.
turin-machine-cpp
A cpp implementation of turin machine
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
vscode-cmake-tools
CMake integration in Visual Studio Code
WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
z3
The Z3 Theorem Prover