Owner
jose-compu
33 indexed repositories · View on GitHub
-
logosdb
LogosDB is the SQLite for AI Agents.
C++ · 13 stars
-
lutetia
Fastest EVM bytecode decompiler in the Roman Empire
Rust · 12 stars
-
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 stars
-
libvrf-js
A JS port of C++ libvrf implementation of Verifiable Random Functions (see limitations).
TypeScript · 5 stars
-
phosphobot-construct
Training robots with generative AI for superhuman skills
Python · 2 stars
-
crypto-vdf-js
A Verifiable Delay Functions (VDF) library for Node.js and Web Browsers
JavaScript · 2 stars
-
chaincraft-rust
Chaincraft: A high-performance framework for blockchain prototyping and production-ready decentralized protocols
Rust · 2 stars
-
chaincraft
Chaincraft: The platform for blockchain research and prototyping decentralized protocols
Python · 2 stars
-
opencircom
Reusable Circom ZK circuit templates (Poseidon, Merkle, nullifiers, voting, etc).
Circom · 2 stars
-
crisp
Crisp (.crp): systems language that transpiles to Rust. Explicit on demand, implicit by default.
Rust · 2 stars
-
liquid-tokens
A Library and Hub for Price-stable and more liquid ERC20 Smart Contract Tokens written in Solidity
JavaScript · 1 star
-
multiguard
MultiGuard: multisig governance for EVM chains
JavaScript · 1 star
-
QuorumTrust
Decentralized Collaborative Document Editing & Threshold Signing
Rust · 1 star
-
funes.cpp
Funes extends llama.cpp with persistent semantic memory. User facts are embedded, stored in a LogosDB.
C++ · 1 star
-
dignity.js
The Scalable Data Layer of the Decentralized Browser Application Ecosystem.
JavaScript · 1 star
-
edgeshield
Edge-native, storage-agnostic rate limiting for modern TypeScript runtimes.
TypeScript · 1 star
-
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 star
-
curated-erc
Canonical implementations of ERCs with real on-chain traction. Foundry-native, Solidity-tested.
Solidity · 1 star
-
trek
Trek Agent extends Pi Agent toward a production-grade agent with explicit safety, domain-specific workflows, auditability, memory, and lo...
TypeScript · 1 star
-
smart-contract-verification
Survey of smart-contract verification methods (Lean, Certora CVL, Alloy, Halmos, and others).
Solidity · 0 stars
- 13 more repositories live on View on GitHub
Issues somebody may already be working on are listed last. List everything by date
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/smart-contract-verification#37 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/smart-contract-verification#36 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/smart-contract-verification#34 ·
Maintainers usually reply within 3 days
-
Difficulty 3/5 1-2 days Newbie friendliness 70/100
jose-compu/smart-contract-verification#32 ·
Maintainers usually reply within 3 days
-
Difficulty 3/5 1-2 days Newbie friendliness 72/100
jose-compu/smart-contract-verification#30 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
jose-compu/smart-contract-verification#28 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
jose-compu/smart-contract-verification#26 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
jose-compu/smart-contract-verification#24 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
jose-compu/smart-contract-verification#22 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
jose-compu/smart-contract-verification#20 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
jose-compu/smart-contract-verification#18 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 45/100
jose-compu/smart-contract-verification#16 ·
Maintainers usually reply within 3 days
-
Investigate proof-producing compilation (Avigad et al.) as an alternative to verified compilersOpen
Difficulty 4/5 3-5 days Newbie friendliness 68/100
jose-compu/smart-contract-verification#15 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 38/100
jose-compu/smart-contract-verification#14 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 32/100
jose-compu/smart-contract-verification#13 ·
Maintainers usually reply within 3 days
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/smart-contract-verification#11 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 52/100
jose-compu/smart-contract-verification#9 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
jose-compu/smart-contract-verification#7 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 62/100
jose-compu/smart-contract-verification#6 ·
Maintainers usually reply within 3 days
-
Difficulty 4/5 3-5 days Newbie friendliness 55/100
jose-compu/smart-contract-verification#4 ·
Maintainers usually reply within 3 days
-
area:typeck enhancement known-limitation release:v1.10.0
Difficulty 4/5 3-5 days Newbie friendliness 52/100
jose-compu/crisp#159 ·
-
area:emit area:typeck enhancement known-limitation release:v1.10.0
Difficulty 3/5 1-2 days Newbie friendliness 68/100
jose-compu/crisp#158 ·
-
bug tools
Difficulty 3/5 1-2 days Newbie friendliness 68/100
jose-compu/trek#96 ·
-
bug tools
Difficulty 4/5 3-5 days Newbie friendliness 35/100
jose-compu/trek#95 ·
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 55/100
jose-compu/trek#94 ·
-
documentation runtime
Difficulty 3/5 1-2 days Newbie friendliness 68/100
jose-compu/trek#93 ·
-
runtime tests
Difficulty 4/5 3-5 days Newbie friendliness 48/100
jose-compu/trek#92 ·
-
runtime
Difficulty 4/5 3-5 days Newbie friendliness 45/100
jose-compu/trek#91 ·
-
reflective-loop runtime
Difficulty 5/5 Over a week Newbie friendliness 25/100
jose-compu/trek#90 ·
-
runtime tools
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/trek#89 ·
-
runtime tools
Difficulty 4/5 3-5 days Newbie friendliness 52/100
jose-compu/trek#88 ·
-
runtime
Difficulty 4/5 3-5 days Newbie friendliness 48/100
jose-compu/trek#87 ·
-
runtime
Difficulty 4/5 3-5 days Newbie friendliness 48/100
jose-compu/trek#86 ·
-
epic runtime
Difficulty 5/5 Over a week Newbie friendliness 25/100
jose-compu/trek#85 ·
-
area:dx enhancement
Difficulty 4/5 3-5 days Newbie friendliness 35/100
jose-compu/crisp#154 ·
-
enhancement solidity tier-3
Difficulty 4/5 3-5 days Newbie friendliness 68/100
jose-compu/curated-erc#56 ·
-
enhancement solidity tier-3
Difficulty 4/5 3-5 days Newbie friendliness 45/100
jose-compu/curated-erc#55 ·
-
enhancement solidity
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/curated-erc#54 ·
-
enhancement solidity tier-2
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/curated-erc#53 ·
-
feat(account): implement ERC-4337 account abstraction interfacesMay be free again @jose-compu claimed this 30 days ago, and no pull request is open. Openenhancement solidity tier-2
jose-compu/curated-erc#52 · 1 assignee ·
-
enhancement feature
Difficulty 4/5 3-5 days Newbie friendliness 65/100
jose-compu/logosdb#127 · 1 comment ·
-
enhancement feature
Difficulty 4/5 3-5 days Newbie friendliness 68/100
jose-compu/logosdb#126 · 1 comment ·
-
enhancement feature
Difficulty 4/5 3-5 days Newbie friendliness 68/100
jose-compu/logosdb#125 · 1 comment ·
-
enhancement feature
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/logosdb#124 · 1 comment ·
-
api enhancement feature
Difficulty 5/5 Over a week Newbie friendliness 45/100
jose-compu/logosdb#123 · 1 comment ·
-
api enhancement feature
Difficulty 4/5 3-5 days Newbie friendliness 68/100
jose-compu/logosdb#122 ·
-
area:emit area:typeck enhancement P1 release:v1.7.0 spec-gap
Difficulty 5/5 Over a week Newbie friendliness 35/100
jose-compu/crisp#59 · 2 comments ·
-
area:dx enhancement epic:publication P2 release:v1.5.0
Difficulty 3/5 1-2 days Newbie friendliness 68/100
jose-compu/crisp#57 ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
jose-compu/chaincraft#120 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 72/100
jose-compu/chaincraft#119 · 1 comment ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.