zeeshanlakhani

zeeshanlakhani's Stars

• adnanh/webhook

  webhook is a lightweight incoming webhook server to run shell commands

  Language:Go10.4k163418834

• mit-pdos/noria

  Fast web applications through dynamic, partially-stateful dataflow

  Language:Rust5k11379243

• google/fully-homomorphic-encryption

  An FHE compiler for C++

  Language:C++3.5k8937256

• ledgerwatch/erigon

  Ethereum implementation on the efficiency frontier

  Language:Go3k582.7k1.1k

• oxidecomputer/hubris

  A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

  Language:Rust3k51504174

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k93493273

• cargo-generate/cargo-generate

  cargo, make me a project

  Language:Rust2k11338163

• rust-crdt/rust-crdt

  a collection of well-tested, serializable CRDTs for Rust

  Language:Rust1.4k295459

• rs-ipfs/rust-ipfs

  The InterPlanetary File System (IPFS), implemented in Rust.

  Language:Rust1.3k42150163

• hyperledger/solang

  Solidity Compiler for Solana and Polkadot

  Language:Rust1.3k27371210

• ipfs/specs

  Technical specifications for the IPFS protocol stack

  Language:HTML1.2k109186232

• elixir-explorer/explorer

  Series (one-dimensional) and dataframes (two-dimensional) for fast and elegant data exploration in Elixir

  Language:Elixir1.1k33336123

• cberner/fuser

  Filesystem in Userspace (FUSE) for Rust

  Language:Rust83719128114

• rust-lang/datafrog

  A lightweight Datalog engine in Rust

  Language:Rust801481246

• LukeMathWalker/wiremock-rs

  HTTP mocking to test Rust applications.

  Language:Rust63956473

• ekzhang/percival

  📝 Web-based, reactive Datalog notebooks for data analysis and visualization

  Language:Rust60315725

• jamii/dida

  Differential dataflow for mere mortals

  Language:Zig51623117

• udem-dlteam/ribbit

  A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS Scheme REPL fits inside 6.5Kb !

  Language:Scheme488182243

• DeterminateSystems/riff

  Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.

  Language:Rust48691513

• evadne/etso

  Ecto 3 adapter allowing use of Ecto schemas held in ETS tables

  Language:Elixir37671236

• mana-ethereum/mana

  Ethereum full node implementation written in Elixir.

  Language:Elixir2741626347

• MystenLabs/fastcrypto

  Common cryptographic library used in software at Mysten Labs.

  Language:Rust24618146139

• vmware-archive/database-stream-processor

  Streaming and Incremental Computation Framework

  Language:Rust2251410620

• wnfs-wg/rs-wnfs

  Rust implementation of the WebNative FileSystem (WNFS) specification

  Language:Rust14589523

• ucan-wg/rs-ucan

  Rust implementation of UCAN

  Language:Rust6374915

• viperproject/2vyper

  A static verifer for Ethereum Smart Contracts written in Vyper

  Language:Python505422

• klarna-incubator/kache

  A generic, in-memory caching application based on ETS.

  Language:Erlang321001

• adlrocha/ipfs-compute

  Run that CID! ⚙️

  Language:Go28626

• matthewbrookes/nexmark_timely_faster

  NEXMark benchmark for Timely with FASTER

  Language:Rust33

• gburd/ecto_isolation

  Language:Elixir110