Pinned Repositories
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
PostgreSQL-FDW
Rust impl of CMU 15-721 23' Proj 1
vercel-babashka
paguroidea
A reimplementation of the Flap parser in Rust (with our own modifications applied)!
CyanPineapple's Repositories
CyanPineapple/misc
Some of my satisfactory scripts
CyanPineapple/Bats-tla
BATS protocol TLA+ specifications
CyanPineapple/PostgreSQL-FDW
Rust impl of CMU 15-721 23' Proj 1
CyanPineapple/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/CyanPineapple
CyanPineapple/frappuccino
frappe frap
CyanPineapple/lambda-calculus
λ haskell python ...
CyanPineapple/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
CyanPineapple/vercel-babashka
CyanPineapple/notes
CyanPineapple/pgvecto.rs
Vector database plugin for Postgres, written in Rust, specifically designed for LLM
CyanPineapple/pine.github.io
CyanPineapple/pollop
c++ distributed system from scratch
CyanPineapple/qdrant
Qdrant - Vector Search Engine and Database for the next generation of AI applications. Also available in the cloud https://qdrant.to/cloud
CyanPineapple/rayon
Rayon: A data parallelism library for Rust
CyanPineapple/rclone
"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Yandex Files
CyanPineapple/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
CyanPineapple/tiflash
The analytical engine for TiDB
CyanPineapple/tokei
Count your code, quickly.
CyanPineapple/xorg-xinput
xinput is a small commandline tool to configure devices.