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
Pinned Repositories
capsule
A framework for network function development. Written in Rust, inspired by NetBricks and built on DPDK.
rust-template
Fission-focused Rust and Rust+Wasm project templates
homestar
Homestar is the individual node that makes up the Everywhere Computer network (similar to how IPFS Kubo, Iroh, Nabu, or other implementation nodes make up the IPFS network). It's written in Rust and is designed for performance and composability.
papers-we-love
Papers from the computer science community to read and discuss.
live-rust
midwestio
org-mode/markdown-version presentation from midwestio
schema-gen
Turn Prismatic schemas into generated data.
zeeshans_thesis
My Thesis Code/Executables
zeeshanlakhani's Repositories
zeeshanlakhani/schema-gen
Turn Prismatic schemas into generated data.
zeeshanlakhani/live-rust
zeeshanlakhani/midwestio
org-mode/markdown-version presentation from midwestio
zeeshanlakhani/zeeshans_thesis
My Thesis Code/Executables
zeeshanlakhani/joey_bishop
starter-kit for ruby-sinatra applications
zeeshanlakhani/compute-starter-kit-rust-static-content
zeeshanlakhani/elasticsearch-tools
Tools for Dealing with Elasticsearch.
zeeshanlakhani/lsp-mode
Emacs client/library for the Language Server Protocol
zeeshanlakhani/papers-we-love
Papers from the computer science community to read and discuss.
zeeshanlakhani/schema-contrib
Additional validators for Prismatic's Schema.
zeeshanlakhani/unconf
zeeshanlakhani/zeeshanlakhani
GitHub Profile
zeeshanlakhani/cargo-hack
Cargo subcommand to provide various options useful for testing and continuous integration.
zeeshanlakhani/component-model-demo
This repository demonstrate how to use component model with wasmtime.
zeeshanlakhani/dialyzex
A Mix task for type-checking your Elixir project with dialyzer
zeeshanlakhani/generating-circumstances
Presentation from CodeMash 2015
zeeshanlakhani/github-actions-dhall
Typecheck, template and modularize your Github Action definitions with Dhall
zeeshanlakhani/infer
A static analyzer for Java, C, C++, and Objective-C
zeeshanlakhani/jsonrpsee
Rust JSON-RPC library on top of async/await
zeeshanlakhani/littlesheens
A Machines (Sheens) implementation that has a small footprint
zeeshanlakhani/p4c
P4_16 prototype compiler
zeeshanlakhani/redex-wip
zeeshanlakhani/rs-wnfs
Rust implementation of the WebNative FileSystem (WNFS) specification
zeeshanlakhani/rust-libp2p
The Rust Implementation of the libp2p networking stack.
zeeshanlakhani/setup-cross-toolchain-action
GitHub Action for setup toolchains for cross compilation and cross testing for Rust.
zeeshanlakhani/sheens
Message Machines
zeeshanlakhani/shields
Concise, consistent, and legible badges in SVG and raster format
zeeshanlakhani/test-template
zeeshanlakhani/this-week-in-rust
Data for this-week-in-rust.org
zeeshanlakhani/tracing-logfmt
A logfmt formatter for tracing subscriber logs