dakk/caravand-fullnode
Type-safe bitcoin full-node
GitHub repository with 19 stars and 1 forks.
Language: OCaml
Topics: bitcoin, blockchain, fullnode, segwit, sidechain, caravand
Type-safe bitcoin full-node
GitHub repository with 19 stars and 1 forks.
Language: OCaml
Topics: bitcoin, blockchain, fullnode, segwit, sidechain, caravand
Trending score 0.16, activity score 1.06, stars gained +0, forks gained +0.
2026-06-02: 19 stars and 1 forks.
Type-safe bitcoin full-node
GitHub repository with 19 stars and 1 forks.
Trending score: 0.16; stars gained: +0; forks gained: +0.
Language: OCaml
Topics: bitcoin, blockchain, fullnode, segwit, sidechain, caravand
A Rust verification tool
GitHub repository with 441 stars and 60 forks.
Trending score: 2.01; stars gained: +17; forks gained: +0.
Language: OCaml
Topics: formal-verification, rust
The core OCaml system: compilers, runtime system, base libraries
GitHub repository with 6,440 stars and 1,238 forks.
Trending score: 1.80; stars gained: +8; forks gained: +0.
Language: OCaml
OCaml - Oxidized!
GitHub repository with 768 stars and 153 forks.
Trending score: 1.50; stars gained: +4; forks gained: +1.
Language: OCaml
A verification toolchain for Rust programs
GitHub repository with 807 stars and 79 forks.
Trending score: 1.39; stars gained: +3; forks gained: +1.
Language: OCaml
Topics: compiler, coq, deductive-reasoning, formal-methods, formal-verification, fstar
A composable build system for OCaml.
GitHub repository with 1,885 stars and 480 forks.
Trending score: 0.71; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: build, ocaml, opam, dune, jbuilder
GitHub repository with 222 stars and 45 forks.
Trending score: 0.63; stars gained: +1; forks gained: +0.
Language: OCaml
Free, open source crypto trading bot
GitHub repository with 51,398 stars and 10,705 forks.
Trending score: 3.19; stars gained: +64; forks gained: +10.
Language: Python
Topics: algorithmic-trading, bitcoin, cryptocurrencies, cryptocurrency, freqtrade, python
WalletGen - Seed phrase generator and finder for Bitcoin, EVM (Ethereum) wallets. Recovery your lost BTC or ETH wallet via private key / seed phrase generation.
GitHub repository with 405 stars and 63 forks.
Trending score: 3.07; stars gained: +54; forks gained: +4.
Language: C++
Topics: bitcoin, bitcoin-mining-tools, bitcoin-wallet, btc-wallet, developer-tools, ethereum-bruteforce
Bitcoin Core integration/staging tree
GitHub repository with 89,391 stars and 39,003 forks.
Trending score: 3.02; stars gained: +33; forks gained: +2.
Language: C++
Topics: bitcoin, c-plus-plus, cryptocurrency, cryptography, p2p
AI-powered Vibe Investing for NASDAQ, S&P500 & crypto: LLM quant trading tools, multi-agent backtesting, and data-driven market columns (mNAV arbitrage, BTC-Nasdaq coupling, Alpha Arena). 미국 주식·가상화폐 AI 투자 큐레이션·칼럼·트레이딩 봇.
GitHub repository with 188 stars and 60 forks.
Trending score: 2.30; stars gained: +14; forks gained: +7.
Language: Python
Topics: agentic-ai, ai-search, algorithmic-trading-dotnet, backtesting, bitcoin, claude
A cryptocurrency trading API with more than 100 exchanges in JavaScript / TypeScript / Python / C# / PHP / Go / Java
GitHub repository with 42,901 stars and 8,692 forks.
Trending score: 2.29; stars gained: +33; forks gained: +4.
Language: Python
Topics: altcoin, api, arbitrage, bitcoin, bot, btc
Free open source crypto trading bot to automate AI, Grid, DCA and TradingView strategies on Binance, Hyperliquid and 15+ exchanges, with a simple interface.
GitHub repository with 6,062 stars and 1,208 forks.
Trending score: 1.81; stars gained: +7; forks gained: +0.
Language: Python
Topics: trading-bot, python, bitcoin, ai-trading, backtest, binance-api