Pinned Loading

1. numba/numba numba/numba Public

   NumPy aware dynamic Python compiler using LLVM

   Python 11.1k 1.3k

2. numba/llvmlite numba/llvmlite Public

   A lightweight LLVM python binding for writing JIT compilers

   Python 2.3k 364

3. eggtx eggtx Public

   Convert Egglog-style rewrite rules into formal inference rules, output as LaTeX. Useful for research, documentation, and teaching formal methods or rewriting systems.

   Python 2

4. delimitrou/DeathStarBench delimitrou/DeathStarBench Public

   Open-source benchmark suite for cloud microservices

   Lua 934 499