Beast code in Giters

David Bremner's starred repositories

wgpu

A cross-platform, safe, pure-Rust graphics API.

Language:RustApache-2.011336 108 2397

hermes

A JavaScript engine optimized for running React Native.

Language:C++MIT9452 146 666

tigerbeetle

The distributed financial transactions database designed for mission critical safety and performance.

Language:ZigApache-2.07502 68 499

python-dotenv

Reads key-value pairs from a .env file and can set them as environment variables. It helps in developing applications following the 12-factor principles.

Language:PythonBSD-3-Clause7245 36 277

awk

One true awk

Language:CNOASSERTION1937 66 103

pharos

Automated static analysis tools for binary programs

Language:C++NOASSERTION1497 77 221

robin-map

C++ implementation of a fast hash map and hash set using robin hood hashing

Language:C++MIT1212 34 50

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustMIT975 22 127

hat-trie

C++ implementation of a fast and memory efficient HAT-trie

Language:C++MIT774 36 45

lockfree

A collection of lock-free data structures written in standard C++11

Language:C++MIT720 14 6

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Language:CoqNOASSERTION698 55 404

ml-compiler-opt

Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.

Language:PythonApache-2.0595 22 77

NTSC-CRT

NTSC encoding/decoding in C89 using only integers and fixed point math. Supports NES decoding. Can be used as an image filter for games or real-time applications.

Language:CNOASSERTION435 12 13