Lists (1)
Sort Name ascending (A-Z)
Stars
Build cross-platform desktop apps with JavaScript, HTML, and CSS
A distributed, fast open-source graph database featuring horizontal scalability and high availability
Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
Lightweight Web Worker API implementation with native threads
Mirage Persistent Kernel: Compiling LLMs into a MegaKernel
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A LLVM-based static analysis framework.
Tuplex is a parallel big data processing framework that runs data science pipelines written in Python at the speed of compiled code. Tuplex has similar Python APIs to Apache Spark or Dask, but rath…
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
An Aspiring Drop-In Replacement for Pandas at Scale
Mirror of git://android.git.kernel.org/platform/dalvik.git with TaintDroid additions (mirror lags official Android)