blazs's Stars
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
influxdata/influxdb
Scalable datastore for metrics, events, and real-time analytics
libuv/libuv
Cross-platform asynchronous I/O
catchorg/Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
rui314/mold
Mold: A Modern Linker 🦠
sogou/workflow
C++ Parallel Computing and Asynchronous Networking Framework
openlayers/openlayers
OpenLayers
google/re2
RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.
mit-pdos/xv6-riscv
Xv6 for RISC-V
phoboslab/qoi
The “Quite OK Image Format” for fast, lossless image compression
m3db/m3
M3 monorepo - Distributed TSDB, Aggregator and Query Engine, Prometheus Sidecar, Graphite Compatible, Metrics Platform
coreutils/coreutils
upstream mirror
tulios/kafkajs
A modern Apache Kafka client for node.js
google/fully-homomorphic-encryption
An FHE compiler for C++
rcore-os/rCore
Rust version of THU uCore OS. Linux compatible.
DPDK/dpdk
Data Plane Development Kit
openxla/xla
A machine learning compiler for GPUs, CPUs, and ML accelerators
netwide-assembler/nasm
A cross-platform x86 assembler with an Intel-like syntax
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
mfontanini/libtins
High-level, multiplatform C++ network packet sniffing and crafting library.
ThakeeNathees/pocketlang
A lightweight, fast embeddable scripting language.
IceFireDB/IceFireDB
@IceFireLabs -> IceFireDB is a database built for web3.0 It strives to fill the gap between web2 and web3.0 with a friendly database experience, making web3 application data storage more convenient, and making it easier for web2 applications to achieve decentralization and data immutability.
google-deepmind/funsearch
michaelforney/cproc
C11 compiler (mirror)
greggagne/osc10e
Source code for the 10th edition of Operating System Concepts
facebookresearch/Cupcake
A Rust library for lattice-based additive homomorphic encryption.
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
cpeikert/Lol
Λ ⚬ λ: Functional Lattice Cryptography
openjdk/valhalla-docs
https://openjdk.org/projects/valhalla
nigeltao/nstcc
The Not So Tiny C Compiler