zeeshanlakhani
@papers-we-love / pwlconf founder/org. | @oxidecomputer eng | @cmuscs (CMU) PhD in PLT, prev~@fission-codes, @comcast, @basho, @arc90, @nypl (labs)
Papers We Love | Oxide Computer Company | CMUPittsburgh, PA
zeeshanlakhani's Stars
zylon-ai/private-gpt
Interact with your documents using the power of GPT, 100% privately, no data leaks
rui314/mold
Mold: A Modern Linker š¦
dtolnay/cxx
Safe interop between Rust and C++
simonw/llm
Access large language models from the command-line
facebook/buck2
Build system, successor to Buck
nextest-rs/nextest
A next-generation test runner for Rust.
robbert-vdh/nih-plug
Rust VST3 and CLAP plugin framework and plugins - because everything is better when you do it yourself
keyvank/femtoGPT
Pure Rust implementation of a minimal Generative Pretrained Transformer
autometrics-dev/autometrics-rs
Easily add metrics to your code that actually help you spot and debug issues in production. Built on Prometheus and OpenTelemetry.
explodingcamera/tinywasm
A tiny, interpreted WebAssembly Runtime written in Rust
newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
cfallin/weval
oxidecomputer/p4
A P4 compiler
bytecodealliance/wac
WebAssembly Composition (WAC) tooling
sunfishcode/hello-wasi-http
oxidecomputer/cancel-safe-futures
Alternative future adapters that provide cancel safety.
mikecvet/nl-sh
The Natural Language Shell integrates OpenAI's GPTs, Anthropic's Claude, or local GGUF-formatted LLMs directly into the terminal experience, allowing operators to describe their tasks in either POSIX commands or fluent human language
dicej/isyswasfa
I sync, you sync, we all sync for async!
oxidecomputer/helios-engvm
Tools for creating and using Helios images on i86pc (classic PC) physical and virtual machines
domdomegg/hindley-milner-typescript-minimal
Extra minimal TypeScript implementation of Hindley-Milner type inference
jluningp/smlformat
An auto-formatter for the Standard ML language
plclub/cis6700-23sp
CIS 6700, Spring 2023
oxidecomputer/overwatch
A P4-powered packet tracer.
eigerco/blockstore
An IPLD blockstore capable of holding arbitrary data indexed by CID
bgins/sparkline-svg
A Sparkline SVG generator as a Wasm component
jmsdnns/pawn
discord bot for playing music links
oxidecomputer/qorb
jmsdnns/eyes
Eyes is a non-blocking, asynchronous port scanner. It is also my first Rust project.
CMU-17-356/example-mongo-app
everywhere-computer/writing-functions-blogpost-2024
An introduction to writing functions for the Everywhere Computer