Clang build analysis tool using -ftime-trace

A project dedicated to building LLVM toolchain for Arm and AArch64 embedded targets and AArch64 native Linux development.

Public issue tracker for garnix.io

Run NixOS VMs on macOS! https://github.com/NixOS/nixpkgs/issues/108984

Clang related Bazel Aspects

Low level access to Cortex-M processors

Low level access to ARM Aarch32 (Cortex-R and Cortex-A) processors

Rules for importing Nixpkgs packages into Bazel.

ARM embedded toolchains for Bazel

Bazel rules to test a build error

Very simple CAS in Ruby

An opinionated configuration of jenkins with example features.

Symbolica is a high-performance computer algebra library for Python and Rust. Manipulate large expressions, match patterns, and generate optimized numerical code — at unprecedented speed.

Simple framework for symbolic manipulation

Rust backend for protosym

c++ library for symbolic derivation

Fast, easy automatic differentiation in C++

High-performance automatic differentiation of LLVM and MLIR.

The FORM project for symbolic manipulation of very big expressions

Compile Time Regular Expression in C++

Header-only C++ containers and algorithms from the SG14 Low Latency study group

An LSP implementation for Starlark, the configuration language used by Bazel and Buck2.

A Grammar of Graphics for Python

Extremely fast, in memory, serialization, reflection, and RPC library for C++. JSON, BEVE, BSON, CBOR, CSV, JSONB, MessagePack, TOML, YAML, EETF

A C++20 library for fast serialization, deserialization and validation using reflection. Supports JSON, Avro, Boost Serialization, BSON, Cap'n Proto, CBOR, Cereal, CSV, flexbuffers, msgpack, parque…

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source