Propietario
jose-compu
33 repositorios indexados · Ver en GitHub
-
logosdb
LogosDB is the SQLite for AI Agents.
C++ · 13 estrellas
-
lutetia
Fastest EVM bytecode decompiler in the Roman Empire
Rust · 12 estrellas
-
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 estrellas
-
libvrf-js
A JS port of C++ libvrf implementation of Verifiable Random Functions (see limitations).
TypeScript · 5 estrellas
-
phosphobot-construct
Training robots with generative AI for superhuman skills
Python · 2 estrellas
-
crypto-vdf-js
A Verifiable Delay Functions (VDF) library for Node.js and Web Browsers
JavaScript · 2 estrellas
-
chaincraft-rust
Chaincraft: A high-performance framework for blockchain prototyping and production-ready decentralized protocols
Rust · 2 estrellas
-
chaincraft
Chaincraft: The platform for blockchain research and prototyping decentralized protocols
Python · 2 estrellas
-
opencircom
Reusable Circom ZK circuit templates (Poseidon, Merkle, nullifiers, voting, etc).
Circom · 2 estrellas
-
crisp
Crisp (.crp): systems language that transpiles to Rust. Explicit on demand, implicit by default.
Rust · 2 estrellas
-
liquid-tokens
A Library and Hub for Price-stable and more liquid ERC20 Smart Contract Tokens written in Solidity
JavaScript · 1 estrella
-
multiguard
MultiGuard: multisig governance for EVM chains
JavaScript · 1 estrella
-
QuorumTrust
Decentralized Collaborative Document Editing & Threshold Signing
Rust · 1 estrella
-
funes.cpp
Funes extends llama.cpp with persistent semantic memory. User facts are embedded, stored in a LogosDB.
C++ · 1 estrella
-
dignity.js
The Scalable Data Layer of the Decentralized Browser Application Ecosystem.
JavaScript · 1 estrella
-
edgeshield
Edge-native, storage-agnostic rate limiting for modern TypeScript runtimes.
TypeScript · 1 estrella
-
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 estrella
-
curated-erc
Canonical implementations of ERCs with real on-chain traction. Foundry-native, Solidity-tested.
Solidity · 1 estrella
-
trek
Trek Agent extends Pi Agent toward a production-grade agent with explicit safety, domain-specific workflows, auditability, memory, and lo...
TypeScript · 1 estrella
-
smart-contract-verification
Survey of smart-contract verification methods (Lean, Certora CVL, Alloy, Halmos, and others).
Solidity · 0 estrellas
- 13 repositorios más están en Ver en GitHub
Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha
-
enhancement safety telegram
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
jose-compu/trek#106 ·
-
domains epic
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/trek#104 ·
-
documentation domains
Dificultad 3/5 1-2 días Aptitud para principiantes 58/100
jose-compu/trek#103 ·
-
domains tests
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/trek#102 ·
-
domains
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
jose-compu/trek#101 ·
-
domains trace
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
jose-compu/trek#100 ·
-
domains reflective-loop
Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100
jose-compu/trek#99 ·
-
domains enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/trek#98 ·
-
domains enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
jose-compu/trek#97 ·
-
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
jose-compu/smart-contract-verification#44 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 4/5 3-5 días Aptitud para principiantes 68/100
jose-compu/smart-contract-verification#42 ·
Los mantenedores suelen responder en 3 días
-
Add Kontrol proofs of SimpleBankAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
jose-compu/smart-contract-verification#40 ·
Los mantenedores suelen responder en 3 días
-
Add a Why3 model of SimpleBankAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/smart-contract-verification#37 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/smart-contract-verification#36 ·
Los mantenedores suelen responder en 3 días
-
Add an F* model of SimpleBankAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/smart-contract-verification#34 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 3/5 1-2 días Aptitud para principiantes 70/100
jose-compu/smart-contract-verification#32 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 3/5 1-2 días Aptitud para principiantes 72/100
jose-compu/smart-contract-verification#30 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
jose-compu/smart-contract-verification#28 ·
Los mantenedores suelen responder en 3 días
-
Add an Aderyn scan of SimpleBankAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
jose-compu/smart-contract-verification#26 ·
Los mantenedores suelen responder en 3 días
-
Add a Slither scan of SimpleBankAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 74/100
jose-compu/smart-contract-verification#24 ·
Los mantenedores suelen responder en 3 días
-
Add a Dafny model of SimpleBankAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
jose-compu/smart-contract-verification#22 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
jose-compu/smart-contract-verification#20 ·
Los mantenedores suelen responder en 3 días
-
Add a Coq model of SimpleBankAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
jose-compu/smart-contract-verification#18 ·
Los mantenedores suelen responder en 3 días
-
Add a Verity port of SimpleBankAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100
jose-compu/smart-contract-verification#16 ·
Los mantenedores suelen responder en 3 días
-
Investigate proof-producing compilation (Avigad et al.) as an alternative to verified compilersAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 68/100
jose-compu/smart-contract-verification#15 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 38/100
jose-compu/smart-contract-verification#14 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 32/100
jose-compu/smart-contract-verification#13 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
jose-compu/smart-contract-verification#11 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
jose-compu/smart-contract-verification#9 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
jose-compu/smart-contract-verification#7 ·
Los mantenedores suelen responder en 3 días
-
Dificultad 4/5 3-5 días Aptitud para principiantes 62/100
jose-compu/smart-contract-verification#6 ·
Los mantenedores suelen responder en 3 días
-
Add Alloy 6 model of SimpleBankAbierto
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
jose-compu/smart-contract-verification#4 ·
Los mantenedores suelen responder en 3 días
-
area:typeck enhancement known-limitation release:v1.10.0
Dificultad 4/5 3-5 días Aptitud para principiantes 52/100
jose-compu/crisp#159 ·
-
area:emit area:typeck enhancement known-limitation release:v1.10.0
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
jose-compu/crisp#158 ·
-
bug tools
Dificultad 3/5 1-2 días Aptitud para principiantes 68/100
jose-compu/trek#96 ·
-
bug tools
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
jose-compu/trek#95 ·
-
enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
jose-compu/trek#94 ·
-
Contextual Retrieval: situating-context annotations on chunks before embedQuizá libre de nuevo @jose-compu la tomó hace 28 días y no hay ningún pull request abierto. Abiertoenhancement feature
jose-compu/logosdb#128 · 1 comentario · 1 asignado ·
-
area:dx enhancement
Dificultad 4/5 3-5 días Aptitud para principiantes 35/100
jose-compu/crisp#154 ·
-
enhancement solidity tier-3
Dificultad 4/5 3-5 días Aptitud para principiantes 68/100
jose-compu/curated-erc#56 ·
-
enhancement solidity tier-3
Dificultad 4/5 3-5 días Aptitud para principiantes 45/100
jose-compu/curated-erc#55 ·
Mostrando los 100 más recientes
Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.