Proprietario
jose-compu
33 repository indicizzati · Vedi su GitHub
-
logosdb
LogosDB is the SQLite for AI Agents.
C++ · 13 stelle
-
lutetia
Fastest EVM bytecode decompiler in the Roman Empire
Rust · 12 stelle
-
vixify
A prototype of Proof-of-Stake blockchain based on VDFs and VRFs, design to be a "plug-n-play" replacement of Proof-of-Work protocols.
Python · 7 stelle
-
libvrf-js
A JS port of C++ libvrf implementation of Verifiable Random Functions (see limitations).
TypeScript · 5 stelle
-
phosphobot-construct
Training robots with generative AI for superhuman skills
Python · 2 stelle
-
crypto-vdf-js
A Verifiable Delay Functions (VDF) library for Node.js and Web Browsers
JavaScript · 2 stelle
-
chaincraft-rust
Chaincraft: A high-performance framework for blockchain prototyping and production-ready decentralized protocols
Rust · 2 stelle
-
chaincraft
Chaincraft: The platform for blockchain research and prototyping decentralized protocols
Python · 2 stelle
-
opencircom
Reusable Circom ZK circuit templates (Poseidon, Merkle, nullifiers, voting, etc).
Circom · 2 stelle
-
crisp
Crisp (.crp): systems language that transpiles to Rust. Explicit on demand, implicit by default.
Rust · 2 stelle
-
liquid-tokens
A Library and Hub for Price-stable and more liquid ERC20 Smart Contract Tokens written in Solidity
JavaScript · 1 stella
-
multiguard
MultiGuard: multisig governance for EVM chains
JavaScript · 1 stella
-
QuorumTrust
Decentralized Collaborative Document Editing & Threshold Signing
Rust · 1 stella
-
funes.cpp
Funes extends llama.cpp with persistent semantic memory. User facts are embedded, stored in a LogosDB.
C++ · 1 stella
-
dignity.js
The Scalable Data Layer of the Decentralized Browser Application Ecosystem.
JavaScript · 1 stella
-
edgeshield
Edge-native, storage-agnostic rate limiting for modern TypeScript runtimes.
TypeScript · 1 stella
-
pi-semantic-memory
Local-first semantic memory for Pi coding agent — powered by LogosDB MCP (stdio). Auto-indexes projects, persists turn records and thinki...
TypeScript · 1 stella
-
curated-erc
Canonical implementations of ERCs with real on-chain traction. Foundry-native, Solidity-tested.
Solidity · 1 stella
-
trek
Trek Agent extends Pi Agent toward a production-grade agent with explicit safety, domain-specific workflows, auditability, memory, and lo...
TypeScript · 1 stella
-
smart-contract-verification
Survey of smart-contract verification methods (Lean, Certora CVL, Alloy, Halmos, and others).
Solidity · 0 stelle
- 13 altri repository si trovano su Vedi su GitHub
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
jose-compu/smart-contract-verification#44 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/smart-contract-verification#42 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
jose-compu/smart-contract-verification#40 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/smart-contract-verification#37 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/smart-contract-verification#36 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/smart-contract-verification#34 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 70/100
jose-compu/smart-contract-verification#32 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100
jose-compu/smart-contract-verification#30 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
jose-compu/smart-contract-verification#28 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
jose-compu/smart-contract-verification#26 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
jose-compu/smart-contract-verification#24 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
jose-compu/smart-contract-verification#22 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
jose-compu/smart-contract-verification#20 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
jose-compu/smart-contract-verification#18 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
jose-compu/smart-contract-verification#16 ·
I maintainer di solito rispondono entro 3 giorni
-
Investigate proof-producing compilation (Avigad et al.) as an alternative to verified compilersAperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/smart-contract-verification#15 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 38/100
jose-compu/smart-contract-verification#14 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 32/100
jose-compu/smart-contract-verification#13 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/smart-contract-verification#11 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
jose-compu/smart-contract-verification#9 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
jose-compu/smart-contract-verification#7 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 62/100
jose-compu/smart-contract-verification#6 ·
I maintainer di solito rispondono entro 3 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
jose-compu/smart-contract-verification#4 ·
I maintainer di solito rispondono entro 3 giorni
-
area:typeck enhancement known-limitation release:v1.10.0
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
jose-compu/crisp#159 ·
-
area:emit area:typeck enhancement known-limitation release:v1.10.0
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
jose-compu/crisp#158 ·
-
bug tools
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
jose-compu/trek#96 ·
-
bug tools
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
jose-compu/trek#95 ·
-
enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100
jose-compu/trek#94 ·
-
documentation runtime
Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100
jose-compu/trek#93 ·
-
runtime tests
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
jose-compu/trek#92 ·
-
runtime
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
jose-compu/trek#91 ·
-
reflective-loop runtime
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
jose-compu/trek#90 ·
-
runtime tools
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/trek#89 ·
-
runtime tools
Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100
jose-compu/trek#88 ·
-
runtime
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
jose-compu/trek#87 ·
-
runtime
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
jose-compu/trek#86 ·
-
epic runtime
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
jose-compu/trek#85 ·
-
area:dx enhancement
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
jose-compu/crisp#154 ·
-
enhancement solidity tier-3
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/curated-erc#56 ·
-
enhancement solidity tier-3
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
jose-compu/curated-erc#55 ·
-
enhancement solidity
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/curated-erc#54 ·
-
enhancement solidity tier-2
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/curated-erc#53 ·
-
feat(account): implement ERC-4337 account abstraction interfacesForse di nuovo libera @jose-compu l’ha presa 30 giorni fa e non c’è nessuna pull request aperta. Apertaenhancement solidity tier-2
jose-compu/curated-erc#52 · 1 assegnatario ·
-
enhancement feature
Difficoltà 4/5 3-5 giorni Idoneità per principianti 65/100
jose-compu/logosdb#127 · 1 commento ·
-
enhancement feature
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/logosdb#126 · 1 commento ·
-
enhancement feature
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/logosdb#125 · 1 commento ·
-
enhancement feature
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/logosdb#124 · 1 commento ·
-
api enhancement feature
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
jose-compu/logosdb#123 · 1 commento ·
-
api enhancement feature
Difficoltà 4/5 3-5 giorni Idoneità per principianti 68/100
jose-compu/logosdb#122 ·
-
area:emit area:typeck enhancement P1 release:v1.7.0 spec-gap
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
jose-compu/crisp#59 · 2 commenti ·
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.