Owner

lfglabs-dev

19 indexed repositories · View on GitHub

• verity

  Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f...

  Lean · 148 stars

• app.starknet.id

  Naming Service for Starknet

  TypeScript · 61 stars

• starknet.quest

  The on-chain quest tool of Starknet

  TypeScript · 39 stars

• api.starknet.quest

  starknet.quest rust backend

  Rust · 10 stars

• starknet.id

  Presentation website of starknet.id

  TypeScript · 7 stars

• naming

  Cairo implementation of the naming contract built for compiler version 2.3.0

  Cairo · 4 stars

• api.starknet.id

  StarknetID API written in Rust.

  Rust · 3 stars

• ethereum-verification-benchmark

  Benchmark for Verity-based smart contract verification research

  Lean · 3 stars

• starknetid.js

  A typescript SDK to retrieve all the on-chain data that you need from Starknet ID

  TypeScript · 2 stars

• mcserverjars.com

  The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.

  TypeScript · 2 stars

• private-ethereum-assistant

  A private LLM assistant for crafting ethereum transactions

  TypeScript · 2 stars

• ethbutton.com

  The ethereum button: an app to promote the ethereum ecosystem and self custody

  TypeScript · 1 star

• auto_renew_bot

  A rust bot that triggers the auto-renewals

  Rust · 1 star

• resolver_ccip

  Cairo · 0 stars

• affiliate.starknet.id

  Affiliate space for stark domains

  TypeScript · 0 stars

• calorily_old

  TypeScript · 0 stars

• api.calorily.com

  Python · 0 stars

• utu_runes_lib

  A cairo library for parsing Runestones

  Cairo · 0 stars

• TrustlessInference

  Access any AI model, with cryptographic proof you got exactly what you asked for

  TypeScript · 0 stars