Repository Index

🌴 Empowering everyone to build reliable and efficient smart contracts.

• sway
• language
• compiler
• fuel

Solidity, the Smart Contract Programming Language

• cpp
• ethereum
• smartcontracts
• language

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

• pattern-matching
• typescript
• ts
• pattern

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.

• webassembly
• wasm
• artificial-intelligence
• rust-lang

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

• wasm
• webassembly
• embedded
• iot

A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)

• repl
• shell
• language
• murex

Smart pointers for the (GNU) C programming language

WebAssembly Smart Contracts for the Cosmos SDK

• cosmos-sdk
• rust
• smart-contracts
• webassembly

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

• gno
• gnoland
• gnolang
• bft

F(unctional) util(ities). Resistance is futile.

A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.

• functional-programming
• lazy-evaluation
• golang-library
• golang

Universal cheminformatics toolkit, utilities and database search tools

• indigo
• bingo
• cheminformatics
• chemistry

Managed .NET wrapper for unmanaged PKCS#11 libraries

• pkcs
• pkcs11
• security
• crypto

A subset of TypeScript for developing Algorand Smart Contracts. Enables AVM development with native TypeScript syntax, tooling, and IDE support

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Tealang - high level language for Algorand ASC1 and TEAL

• teal
• algorand
• blockchain
• smart-contracts

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

Run speedtest-cli and publish results via MQTT

• mqtt
• smarthome
• speedtest
• dsl

AdaChess is a smart chess engine written from scratch in the Ada programming language