anderspapitto

anderspapitto's Stars

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.5k98190399

• orgzly/orgzly-android

  Outliner for taking notes and managing to-do lists

  Language:Kotlin2.7k79933306

• stateright/stateright

  A model checker for implementing distributed systems.

  Language:Rust1.6k233157

• Gabriella439/haskell-nix

  Nix and Haskell in production

  Language:Nix1.1k3364117

• McYoloSwagHam/win3wm

  A Tiling Window Manager for windows 10, Inspired by i3wm

  Language:C++1.1k254224

• travisdowns/uarch-bench

  A benchmark for low-level CPU micro-architectural features

  Language:C++685348563

• ezyang/ghstack

  Submit stacked diffs to GitHub on the command line

  Language:Python649129054

• MScholtes/TechNet-Gallery

  Copies of my 'Script Center' and 'Technet Gallery' publications

  Language:PowerShell359271882

• jeffhammond/STREAM

  STREAM benchmark

  Language:C341155135

• keyboardio/Model01-Firmware

  The "standard" Keyboardio Model 01 Firmware sketch.

  Language:C++1721838302

• obilaniu/libpfc

  A small library and kernel module for easy access to x86 performance monitor counters under Linux.

  Language:C9481912

• tfc/nix_cmake_example

  An example with nix: How to automatically and reproducibly build and integration-test a database C++ app in 60 different build-configurations (library exchange/compiler exchange/static-nonstatic)

  Language:Nix60513

• open-power-sdk/curt

  Compute processor utilization and system call processing metrics based on "perf" trace data

  Language:Python228239

• jchendy/dactyl-manuform

  Language:Roff21400

• bsklaroff/beanscript

  Language:CoffeeScript5200