Proprietario
lfglabs-dev
19 repository indicizzati · Vedi su 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 stelle
-
app.starknet.id
Naming Service for Starknet
TypeScript · 61 stelle
-
starknet.quest
The on-chain quest tool of Starknet
TypeScript · 39 stelle
-
api.starknet.quest
starknet.quest rust backend
Rust · 10 stelle
-
starknet.id
Presentation website of starknet.id
TypeScript · 7 stelle
-
naming
Cairo implementation of the naming contract built for compiler version 2.3.0
Cairo · 4 stelle
-
api.starknet.id
StarknetID API written in Rust.
Rust · 3 stelle
-
ethereum-verification-benchmark
Benchmark for Verity-based smart contract verification research
Lean · 3 stelle
-
starknetid.js
A typescript SDK to retrieve all the on-chain data that you need from Starknet ID
TypeScript · 2 stelle
-
mcserverjars.com
The authoritative registry for Minecraft server jars. Download Paper, Spigot, Vanilla, Fabric, Forge, and more.
TypeScript · 2 stelle
-
private-ethereum-assistant
A private LLM assistant for crafting ethereum transactions
TypeScript · 2 stelle
-
ethbutton.com
The ethereum button: an app to promote the ethereum ecosystem and self custody
TypeScript · 1 stella
-
auto_renew_bot
A rust bot that triggers the auto-renewals
Rust · 1 stella
-
Cairo · 0 stelle
-
affiliate.starknet.id
Affiliate space for stark domains
TypeScript · 0 stelle
-
TypeScript · 0 stelle
-
Python · 0 stelle
-
utu_runes_lib
A cairo library for parsing Runestones
Cairo · 0 stelle
-
TrustlessInference
Access any AI model, with cryptographic proof you got exactly what you asked for
TypeScript · 0 stelle
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
lfglabs-dev/verity#2427 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
lfglabs-dev/verity#2424 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#2423 ·
-
Auto view-frame proof fails on require/revert and static calls, forcing view markers to be dropped Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
lfglabs-dev/verity#2422 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
lfglabs-dev/verity#2421 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lfglabs-dev/verity#2420 ·
-
override bodies are elaborated at the parent's position (cannot use child helpers); no super.f(args) Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#2419 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lfglabs-dev/verity#2418 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
lfglabs-dev/verity#2417 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lfglabs-dev/verity#2359 ·
-
Macro-emit reentrancy adversary holes and entrypoint registry (single-source rely-guarantee models) Apertaenhancement lean P1: core language
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#2094 ·
-
P3: deferred proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#2084 ·
-
proof(L2): Tier 3 — effects & observables (ABI encoding correctness; emit, typed reverts, returns) ApertaP2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 28/100
lfglabs-dev/verity#2082 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#2071 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
lfglabs-dev/verity#2059 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#2058 ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#2023 ·
-
blocks:erc4337 blocks:morpho enhancement P3: deferred
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lfglabs-dev/verity#2002 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
lfglabs-dev/verity#2000 · 2 commenti ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#1997 ·
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#1995 ·
-
P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lfglabs-dev/verity#1994 ·
-
enhancement P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#1993 ·
-
enhancement P2: important
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1992 ·
-
blocks:morpho P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lfglabs-dev/verity#1990 · 1 commento ·
-
cleanup P3: deferred
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1987 · 1 commento ·
-
blocks:erc4337 blocks:lido blocks:morpho
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1982 · 1 commento ·
-
enhancement P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1963 · 1 commento ·
-
enhancement P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1895 · 1 commento ·
-
enhancement P3: deferred
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
lfglabs-dev/verity#1724 · 8 commenti ·
-
P2: important proof
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lfglabs-dev/verity#1723 · 7 commenti ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 62/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
-
enhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
lfglabs-dev/private-ethereum-assistant#41 · 1 commento ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
-
Add older Paper builds Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
(twbs#41961) Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100
-
lilherchel.braavos.stark* ApertaGood first issue Open for contribution
Difficoltà 5/5 Più di una settimana Idoneità per principianti 1/100
lfglabs-dev/app.starknet.id#1190 ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100
lfglabs-dev/app.starknet.id#1184 ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.