rnburn

sxt-proof-of-sql

Space and Time | Proof of SQL

rules_nixpkgs

Rules for importing Nixpkgs packages into Bazel.

rules_cuda

Starlark implementation of bazel rules for CUDA.

blitzar-rs

High-Level Rust wrapper for the blitzar-sys crate

chebfun

Chebfun: numerical computing with functions.

plane

🔥 🔥 🔥 Open Source JIRA, Linear and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

typst

A new markup-based typesetting system that is powerful and easy to learn.

blitzar

Zero-knowledge proof acceleration with GPUs for C++ and Rust

NeatReflection

KISS C++20 Type Reflection using IFC files

rules_ll

An Upstream Clang/LLVM-based toolchain for contemporary C++ and heterogeneous programming

rules_cuda

blis

BLAS-like Library Instantiation Software Framework

nginx-opentracing

NGINX plugin for OpenTracing

bbai

Deterministic algorithms for objective Bayesian inference and hyperparameter optimization

circle

The compiler is available for download. Get it!

clang-cxx20-modules

Experimental patches to implement missing C++20 modules features for the clang/LLVM toolchain.

vim-fern

🌿 General purpose asynchronous tree viewer written in Pure Vim script

vim-bazel

Trigger bazel from vim and load errors into the quickfix list

rules_boost

bazel build rules to use boost in bazel projects

landing-page-with-chakra-ui-part-1

The full code about the tutorial "Build a landing page with Chakra UI"

the_silver_searcher

A code-searching tool similar to ack, but faster.

KaTeX

Fast math typesetting for the web.

vittles

"Variational inference tools to leverage estimator sensitivity."

rweekly.org

R Weekly

oneTBB

oneAPI Threading Building Blocks (oneTBB)

rules_foreign_cc

Build rules for interfacing with "foreign" (non-Bazel) build systems (CMake, configure-make, GNU Make, boost, ninja, Meson)

lua-bridge-tracer

Provides an implementation of the Lua OpenTracing API on top of the C++ API

opentracing-lua

OpenTracing API for Lua

go-grpc

Package otgrpc provides OpenTracing support for any gRPC client or server.

opentracing-c

ANSI C API for OpenTracing