Lightweight framework for building Agents with memory, knowledge, tools and reasoning.

A modern smart contract platform for Cardano

Fork of AuroraStore with browsing disabled. Solves issue of updating existing apps without allowing access to the broader app store.

This list compiles the best Polymarket tools and resources for traders, developers, and researchers

Backend API to orchestrate multiple bots

Standard library for OCaml

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

BiFi is a DeFi project by the BIFROST team.

BOB is a hybrid L2 that combines the security of Bitcoin with the versatility of Ethereum.

Framework to deploy local end-to-end environment for block building

The ledger implementation and specifications of the Cardano blockchain.

The core component that is used to participate in a Cardano decentralised blockchain.

node of the decentralized oracle network, bridging on and off-chain computation

CLA configuration repository

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Lightweight coding agent that runs in your terminal

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

High-performance, well-tested & documented core libraries for Ethereum, in Rust

⛓️ A Framework for Building High Value Public Blockchains ✨

Framework for building smart contracts in Wasm for the Cosmos SDK

The Python programming language

The Lean Computer Science Library (CSLib)

Data Plane Development Kit