def-

time.gif

GIF that always shows the current time in UTC

gifstream

Make interactive games in Haskell using GIF streams that can be shown in the web browser

ghc-vis

Visualize live Haskell data structures in GHCi

ghc-datasize

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

xdot

xdot library for Haskell

ddnet

USE https://github.com/ddnet/ddnet/ INSTEAD, THIS IS ONLY FOR MY PERSONAL PULL REQUESTS

sqlsmith

A random SQL query generator

materialize

Materialize is a fast, distributed SQL database built on streaming internals.

adventofcode-2023

cargo-llvm-cov

Cargo subcommand to easily use LLVM source-based code coverage (-C instrument-coverage).

ddnet-data-svg

demos

Demos of Materialize, the streaming database you already know how to use!

felsin9-web

Personal website

homebrew-cockroach-tap

`brew install cockroachdb/tap/cockroach`

howistart.org

HowIStart.org Hugo Site

jepsen

A framework for distributed systems verification, with fault injection

learnxinyminutes-docs

Code documentation written as code! How novel and totally my idea!

llama.cpp

Port of Facebook's LLaMA model in C/C++

nextest

A next-generation test runner for Rust.

Nim

Nim is a compiled, garbage-collected systems programming language which has an excellent productivity/performance ratio. Nimrod's design focuses on efficiency, expressiveness, elegance (in the order of priority).

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

prost

PROST! a Protocol Buffers implementation for the Rust Language

python-semver

Python package to work with Semantic Versioning (https://semver.org/)

rust-dec

libdecnumber bindings for the Rust programming language

rust-protobuf-native

Rust build system integration for protobuf, Google's data interchange format.

sqlancer

Automated testing to find logic bugs in database systems

sqllogictest

unofficial git mirror of sqllogictest

sqlreduce

Reduce verbose SQL queries to minimal examples

timely-dataflow

A modular implementation of timely dataflow in Rust

yugabyte-db

The high-performance distributed SQL database for global, internet-scale apps.