NzSN

WGSLTr

AnalysisExercises

My solutions of books Analysis (Amann & Escher)

AstBridge

bazel-central-registry

The central registry of Bazel modules for the Bzlmod external dependency system.

chameleon

A Program Migration assistant system.

chromium

The official GitHub mirror of the Chromium source

Coq_Proofs

GrammarSyntaxTrans

Octopus

Submarine

bazel-compile-commands-extractor

Goal: Enable awesome tooling for Bazel users of the C language family.

bazel-lib

Common useful functions for writing BUILD files and Starlark macros/rules

bsdtar-prebuilt

Pre-built, statically-linked binary releases for bsdtar, from the libarchive project

cpplinks

A categorized list of C++ resources.

doom-configs

electron

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

emsdk

Emscripten SDK

EvSpace

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

Informer

LANTr

node_native_rules

nzsn.github.io

rules_foreign_cc

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

rules_tla

Bazel rules for TLA+.

Specifications

TLA-Examples

tla-tools

TLA+ tools for Emacs

tree-sitter-haskell-example

tvm_mlir_learn

compiler learning resources collect.