Stars
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dafny
- Elixir
- Emacs Lisp
- Erlang
- Forth
- GLSL
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Lua
- M4
- OCaml
- Perl
- PostScript
- Prolog
- Python
- R
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Swift
- TLA
- TeX
- TypeScript
- Zig
FlameScope is a visualization tool for exploring different time ranges as Flame Graphs.
Template project for building PostgreSQL extensions
Tool for generating Clang's JSON Compilation Database files for make-based build systems.
Memory optimal Small String Optimization implementation for C++
Very low-overhead timer/counter interfaces for C on Intel 64 processors.
GDB scripts for debugging applications using Boost.Fiber
Scriptable database and system performance benchmark
Friends don't let friends make certain types of data visualization - What are they and why are they bad.
MetroHash v1: Exceptionally fast and statistically robust hash functions
Creusot helps you prove your code is correct in an automated fashion.
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
An update-in-place key-value store for modern storage.
Garnet is a remote cache-store from Microsoft Research that offers strong performance (throughput and latency), scalability, storage, recovery, cluster sharding, key migration, and replication feat…
A simple tool that finds serious bugs in Java exception handler
A model checker for implementing distributed systems.
An IDE for the Ohm language (JavaScript edition)
This is a header only library offering a variety of dynamically growing concurrent hash tables. That all work by dynamically migrating the current table once it gets too full.
Some near drop in stl compatible hash tables that are a lot more space efficient than any other options.
Fast and scalable minimal perfect hashing for massive key sets
A versatile, performance-oriented generic hash table library for C.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Experiment with a streaming serialisation format