8000 brk / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View brk's full-sized avatar

Sponsoring

@jamii

Block or report brk

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Resilient LL(1) parser generator for Rust

Rust 143 6 Updated May 7, 2025

An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.

Rust 57 2 Updated Oct 7, 2020

Pure functional programming with whole-program mutability inference

Rust 69 2 Updated May 17, 2025

The core language parser and vm

Rust 5 1 Updated Oct 18, 2024

Small C++ library to produce GraphViz .gv files

C++ 10 Updated Jan 23, 2023

Example code which uses SDL, cairo, freetype, FontConfig, and harfbuzz to do ttf/otf text layout and rendering

C 172 60 Updated Jan 14, 2023

Chez Scheme

Scheme 7,069 1,003 Updated May 15, 2025

Bear is a tool that generates a compilation database for clang tooling.

C++ 5,527 332 Updated May 17, 2025

Semantics of C in K

C 315 43 Updated Feb 1, 2022

The better build tool. Finds dependencies automatically for any language.

Python 133 36 Updated Oct 1, 2020

A small command line application for load testing web servers. Think of it as similar to httperf or ab, only more modern and simpler to deal with.

Haskell 224 21 Updated Jan 11, 2013

An open source fork of Windows Live Writer

C# 2,468 491 Updated Jun 30, 2024

A pure Haskell implementation of Datalog

Haskell 105 15 Updated Aug 18, 2020

Simple Theorem Prover, an efficient SMT solver for bitvectors

C++ 541 143 Updated Sep 27, 2024

Emscripten: An LLVM-to-WebAssembly Compiler

C++ 26,488 3,398 Updated May 20, 2025

SMACK Software Verifier and Verification Toolchain

C 441 83 Updated Apr 18, 2025

An open-source C++ library developed and used at Facebook.

C++ 29,385 5,688 Updated May 20, 2025

Please use openpyxl where you can...

Python 2,177 435 Updated Jul 8, 2024

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

Rust 30,546 3,173 Updated May 19, 2025

C++ functions matching the interface and behavior of python string methods with std::string

C++ 1,007 162 Updated May 14, 2025

Toy Lisp interpreter in Scala

Scala 6 Updated Dec 18, 2012

Tools for code analysis, visualizations, or style-preserving source transformation.

OCaml 2,446 203 Updated Mar 27, 2019

Semantics and tools for JavaScript

JavaScript 91 17 Updated Feb 27, 2022

Empowering everyone to build reliable and efficient software.

Rust 103,621 13,346 Updated May 19, 2025

HTML canvas visualizer for cache hits and misses

JavaScript 3 Updated Sep 26, 2009
0