jkff / greg
A very fast lightweight distributed logger with a high-precision global time axis
☆38Updated 10 years ago
Alternatives and similar repositories for greg:
Users that are interested in greg are comparing it to the libraries listed below
- Visualizing the activity of many concurrent processes☆59Updated 4 years ago
- Analyst's swiss army knife for visualizing data from ad-hoc log files☆80Updated 3 weeks ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 5 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- Accepted papers for ICFP 2014☆119Updated 8 years ago
- Fast time calls from user space.☆11Updated 9 years ago
- A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.☆16Updated 2 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- Backtrace.io's resilient log record framing format☆38Updated 3 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- An OCaml implementation of the FUSE protocol versions 7.8 and 7.23☆30Updated 7 years ago
- Beating haskell with C☆11Updated 5 years ago
- cut out a small (binary) piece of a (binary) file☆15Updated 13 years ago
- Magic Wormhole for Haskell☆11Updated 11 months ago
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Binary streaming library for Postgres data pipelines☆17Updated 5 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- simple charting tools for unix.☆28Updated 9 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Updated 11 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago