sourcefrog

followers

following

stars

@stripe

Martin Pool's starred repositories

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Language:RustNOASSERTION47411 204 8224

flatbuffers

FlatBuffers: Memory Efficient Serialization Library

Language:C++Apache-2.023134 645 2396

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Language:Jupyter NotebookMIT10067 149 30

jj

A Git-compatible VCS that is both simple and powerful

Language:RustApache-2.08280 58 772

OpenTTD

OpenTTD is an open source simulation game based upon Transport Tycoon Deluxe

Language:C++NOASSERTION6247 111 8398

VoxelSpace

Terrain rendering algorithm in less than 20 lines of code

Language:CMIT5922 108 11

unison

Unison file synchronizer

Language:OCamlGPL-3.04039 81 555

http.cat

:cat: HTTP Cats API

Language:TypeScriptMIT2934 24 44

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION1554 21 475

cargo-dist

📦 shippable application packaging

Language:RustApache-2.01467 5 472

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLGPL-2.11119 23 353

rd

rd is a record/replay debugger written in rust

Language:RustNOASSERTION961 14 11

divan

Fast and simple benchmarking for Rust projects

Language:RustApache-2.0907 8 36

arc-swap

Support atomic operations on Arc itself

Language:RustApache-2.0746 8 57

cargo-auditable

Make production Rust binaries auditable

Language:RustApache-2.0630 20 88

bestline

ANSI Standard X3.64 Teletypewriter Command Session Library

Language:CNOASSERTION447 14 17

fail-rs

Fail points for rust

Language:RustApache-2.0333 58 18

action-validator

Tool to validate GitHub Action and Workflow YAML files

Language:RustGPL-3.0279 5 44

open-roms

A project to create unencumbered open-source ROMs for use on selected retro computers

Language:AssemblyNOASSERTION259 26 46

necessist

A mutation-based tool for finding bugs in tests

Language:RustAGPL-3.0109 24 39

TrailDiscover

An evolving repository of CloudTrail events with detailed descriptions, MITRE ATT&CK insights, real-world incidents, references and security implications

Language:PythonCC-BY-4.092 70

tango

Rust microbenchmarking harness based on paired-testing methodology

Language:Jupyter NotebookMIT68 2 11

assertables-rust-crate

Assertables: a Rust crate of assert macros for testing

Language:RustNOASSERTION66 3 4

rust-petname

Generate human readable random names. Rust port of Dustin Kirkland's petname library.

Language:RustApache-2.059 3 27

patch-rs

Language:RustMIT40 5 10

digichain

DigiChain makes the creation of sample chains as easy as possible for use on synth/samplers like the OP-1 Field, OP-Z, Digitakt, Octatrack, M8 etc. The converted files can also be joined together with, or without padding to work better with the 1.5 firmware Digitakt slice grids.

Language:JavaScriptAGPL-3.034 6 23

awesome-system-calls

A categorized list of system calls used by popular Unix-like operating systems

Language:RustMIT15 2 1

cargo-export

Cargo subcommand to export compiler artifacts

Language:RustMIT12 20

uberallfs

Peer to peer distributed Filesystem, in development.

Language:RustAGPL-3.06 20

pdistcc

Portable distcc (distributed compilation tool for C and C++)

Language:PythonWTFPL100