Ismail Khoffi (liamsi)

liamsi

Geek Repo

Company:@celestiaorg

Location:UK / Germany / Switzerland

Home Page:https://ismailkhoffi.com

Twitter:@KreuzUQuer

Github PK Tool:Github PK Tool


Organizations
celestiaorg
coniks-sys
creative-coding-bonn
dedis
github-beta
informalsystems
mmmh-studio
OpenScienceMOOC
Rustaceans

Ismail Khoffi's starred repositories

MetaGPT

🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

Language:PythonLicense:MITStargazers:40734Issues:870Issues:542

awesome-flipperzero

🐬 A collection of awesome resources for the Flipper Zero device.

License:CC0-1.0Stargazers:17298Issues:632Issues:0

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10140Issues:98Issues:166

go-libp2p

libp2p implementation in Go

polaris

Polaris is a modular implementation of the Ethereum Virtual Machine (EVM). It can be easily integrated into any consensus engine or application, including the Cosmos-SDK.

Language:GoLicense:NOASSERTIONStargazers:1065Issues:54Issues:698

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptLicense:Apache-2.0Stargazers:600Issues:21Issues:669

cometbft

CometBFT (fork of Tendermint Core): A distributed, Byzantine fault-tolerant, deterministic state machine replication engine

Language:GoLicense:Apache-2.0Stargazers:564Issues:23Issues:750

awesome-cosmos

Collection of Cosmos related resources

sovereign-sdk

A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain

Language:RustLicense:Apache-2.0Stargazers:341Issues:19Issues:372

awesome-age

A collection of projects and resources in the age file encryption ecosystem.

lumina

Wasm friendly Celestia light node implementation in Rust

Language:RustLicense:Apache-2.0Stargazers:93Issues:6Issues:92

asterisc

Work in progress RISC-V interactive fraud-proof tech

Language:GoLicense:MITStargazers:85Issues:5Issues:5

tendermintx

Implementation of zero-knowledge proof circuits for Tendermint.

Language:RustLicense:MITStargazers:74Issues:4Issues:11

blobstreamx

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

Language:RustLicense:MITStargazers:52Issues:4Issues:16

swift-libp2p

Swift implementation of libp2p, a modular & extensible networking stack

unison

Consensus nodes performing in unison!

Language:GoLicense:Apache-2.0Stargazers:29Issues:4Issues:35

reed-solomon-novelpoly

Novel polynomial basis for a reed solomon encoder

nmt-rs

An implementation of a namespaced merkle tree in Rust.

Language:RustLicense:Apache-2.0Stargazers:23Issues:6Issues:5

Jupiter

A research-only integration of Sovereign with Celestia

Language:RustLicense:Apache-2.0Stargazers:19Issues:1Issues:2

go-header

Go library with all the services needed to request, sync and store blockchain headers.

Language:GoLicense:Apache-2.0Stargazers:17Issues:12Issues:72

metro

shared aggregator chain that accepts transactions from many different "lazy" chains and post them on Celestia

Language:GoLicense:Apache-2.0Stargazers:15Issues:2Issues:0

cosmwasm-re-entrancy-example

An example re-entrancy attack on a flashloan vault.

Language:RustLicense:MITStargazers:15Issues:1Issues:0
Language:RustLicense:Apache-2.0Stargazers:7Issues:4Issues:4

celestia-ts

Typescript client library for celestia-node

Language:TypeScriptStargazers:5Issues:3Issues:0

celestia-core-rpc-rs

Celestia Core RPC in Rust

Language:RustStargazers:2Issues:0Issues:0