cyanpineapple Goto Github PK

bats-tla

BATS protocol TLA+ specifications

checkstyle

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

cyanpineapple

frappuccino

frappe frap

lambda-calculus

λ haskell python ...

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

misc

Some of my satisfactory scripts

notes

pgvecto.rs

Vector database plugin for Postgres, written in Rust, specifically designed for LLM

pine.github.io

pollop

c++ distributed system from scratch

postgresql-fdw

Rust impl of CMU 15-721 23' Proj 1

qdrant

Qdrant - Vector Search Engine and Database for the next generation of AI applications. Also available in the cloud https://qdrant.to/cloud

rayon

Rayon: A data parallelism library for Rust

rclone

"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Yandex Files

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

tiflash

The analytical engine for TiDB

tokei

Count your code, quickly.

vercel-babashka

xorg-xinput

xinput is a small commandline tool to configure devices.