Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- Astro
- C
- C#
- C++
- COBOL
- CSS
- Circom
- Clojure
- Cuda
- Dafny
- Dart
- Dockerfile
- Elixir
- Fortran
- Gherkin
- Go
- Go Template
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- KCL
- Kotlin
- Lean
- MDX
- Makefile
- Markdown
- Move
- Mustache
- Nearley
- Nim
- PHP
- PLpgSQL
- Perl
- PowerShell
- Prolog
- Python
- ReScript
- Rich Text Format
- Ruby
- Rust
- Scala
- Shell
- Smarty
- Solidity
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- Zig
Scalable, reliable, distributed storage system optimized for data analytics and object store workloads.
All-in-one stablecoin configuration, issuance, and management
Curated list of stable cryptocurrency resources and projects
Community Helm Charts provided by Offchain Labs
Panurs provides a collection of APIs and services that streamline development for token-based distributed applications.
A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and some are exceptionally challenging.
Material skin for LMS (Lyrion Music Server)
A curated list to learn about distributed systems
Decentralized trust and authorization frameworks for 5G-Advanced and future 6G telecom networks.
PM Skills Marketplace: 100+ agentic skills, commands, and plugins — from discovery to strategy, execution, launch, and growth.
Production-grade engineering skills for AI coding agents.
Smart Contract Property-Based Testing Framework
An index of chains which serves as the source of truth for who’s in the Superchain Ecosystem
Cloud-Native distributed storage built on and for Kubernetes
Your diplomatic layer for EUDI Wallet integration
A portfolio tracking, analytics, accounting and management application that protects your privacy
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Heuristics for smart contract auditors
Official repository for all EVM-compatible smart contracts used by the Cross-Chain Transfer Protocol
K Semantics of the Ethereum Virtual Machine (EVM)
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Zero-token execution layer for AI agents — define workflows once, execute forever. DAG engine with reasoning nodes, event sourcing, scheduling, and secret vault via 6 MCP tools over SSE.
The Official Repository for R&D on recoverable wrapper tokens