mgritter

mgritter's Stars

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.5k1592.1k605

• gopherdata/gophernotes

  The Go kernel for Jupyter notebooks and nteract.

  Language:Go3.9k81185261

• DataDog/go-profiler-notes

  felixge's notes on the various go profiling methods that are available.

  Language:Jupyter Notebook3.6k1022214

• DAGWorks-Inc/hamilton

  Hamilton helps data scientists and engineers define testable, modular, self-documenting dataflows, that encode lineage/tracing and metadata. Runs and scales everywhere python does.

  Language:Jupyter Notebook2k17342136

• chobits/ngx_http_proxy_connect_module

  A forward proxy module for CONNECT request handling

  Language:C1.9k69218505

• googleprojectzero/TinyInst

  A lightweight dynamic instrumentation library

  Language:C++1.2k5242122

• meithecatte/cursedfs

  Make a disk image formatted with both ext2 and FAT at once

  Language:Shell3829312

• project-oak/rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  Language:Rust271175637

• scylladb/diskplorer

  Language:Python23061026

• afonsonf/tlaplus-graph-explorer

  A static web application to explore and animate a TLA+ state graph.

  Language:JavaScript197442

• Roguelike-Celebration/azure-mud

  Language:TypeScript191740632

• Fault-lang/Fault

  a language for building system dynamic models

  Language:Go165776

• SpryFox/DarkConfig

  DarkConfig is a configuration library for games which supports fast and expressive iteration

  Language:C#154164019

• urjitbhatia/cozgo

  Coz profiler Golang wrapper - Coz employs a novel technique we call causal profiling that measures optimization potential.

  Language:Go1413211

• carolemieux/perffuzz

  PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs

  Language:C13313811

• DRMacIver/minithesis

  A very minimal implementation of the core idea of Hypothesis

  Language:Python1336413

• rpetrich/callander

  Simple syscall sandboxing for Linux

  Language:C130845

• kelvich/tlaplus_jupyter

  Jupyter kernel for TLA⁺

  Language:Python119857

• phseiff/github-flavored-markdown-to-html

  Convert markdown to HTML using the GitHub API and some additional tweaks with Python. Comes with full formula support and image compression.

  Language:Python1111716

• archmageirvine/joeis

  Java implementations of sequences in the OEIS

  Language:Java59836

• paulcadman/the-little-typer

  Resources for "The Little Typer" study group

  Language:Racket475011

• mafm/HashLife

  An Algorithm for Compressing Space and Time

  Language:Java40204

• splunk/vault-plugin-splunk

  Vault plugin to securely manage Splunk admin accounts and password rotation

  Language:Go251988

• Laakeri/sharpsat-td

  Entry to model counting competition 2021.

  Language:C++20438

• rberlind/vault-benchmarking

  Some Lua scripts for benchmarking Vault with the wrk tool

  Language:Lua140011

• dlew/wordle-solver

  Evaluates the efficacy of Wordle algorithms

  Language:Kotlin12201

• librarianmage/RogueCel2023

  My slides for "Remixing the Layer Cake: Facilitating fan reinterpretation through Caves of Qud's data files".

  5100

• sarangbishal/Recursion-Tree-Visualizer

  A simple python package to visualise any recursive function. Useful for debugging and academic purpose

  Language:Python51

• criteo/blackbox-prober

  Language:Go3708

• intvnut/bit_count

  Benchmark different approaches to counting bits

  Language:C3100