vincentpun

llama.cpp

LLM inference in C/C++

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

llm-course

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

cockroach

CockroachDB - the open source, cloud-native distributed SQL database.

mlc-llm

Universal LLM Deployment Engine with ML Compilation

The-Art-of-Linear-Algebra

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

mlx

MLX: An array framework for Apple silicon

awesome-distributed-systems

A curated list to learn about distributed systems

pkl

A configuration as code language with rich validation and tooling.

readability

A standalone version of the readability lib

pragmatic-drag-and-drop

Fast drag and drop for any experience on any tech stack

copilot.vim

Neovim plugin for GitHub Copilot

deskhop

Fast Desktop Switching Device

dockertest

Write better integration tests! Dockertest helps you boot up ephermal docker images for your Go tests with minimal work.

perf-ninja

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Daft

Distributed DataFrame for Python designed for the cloud, powered by Rust

dora

DORA (Dataflow-Oriented Robotic Application) is middleware designed to streamline and simplify the creation of AI-based robotic applications. It offers low latency, composable, and distributed dataflow capabilities. Applications are modeled as directed graphs, also referred to as pipelines.

plato

Document reader

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

stateless

Go library for creating finite state machines

safer_ffi

Write safer FFI code in Rust without polluting it with unsafe code

write-you-a-vector-db

A Vector Database Tutorial (over CMU-DB's BusTub system)

TheArtofHPC_pdfs

All pdfs of Victor Eijkhout's Art of HPC books and courses

objc2

Bindings to Apple's frameworks in Rust

firefox-safari-style

A macOS compliant theme for Firefox

Nezha

Nezha: Deployable and High-Performance Consensus Using Synchronized Clocks

prover

A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.

nb-sim

jwt-tool