Daily Move Snippets

This is an AI agent for Street Fighter II Champion Edition.

Using mutations to improve specs and test suites

PokeWilds - A Gen 2 Game/Engine using libGDX

An educational OLAP database system.

🚀 Pontem Parachain node with Move VM onboard.

Rust bindings for the Z3 solver.

Rust mid-level IR Abstract Interpreter

Kani Rust Verifier

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

Incomplete Redis client and server implementation using Tokio - for learning purposes only

Project Wyvern Ethereum Smart Contracts

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language

Solidity, the Smart Contract Programming Language

Go implementation of the Ethereum protocol

Home of the Move programming language

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

Boogie

Libraries and tools for the SMT-LIB-2 standard.

A minimal high performance parallel neural network framework running on iOS

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

Scribe is a server for aggregating log data streamed in real time from a large number of servers.

Apache Hive

Facebook's branch of Apache Thrift, including a new C++ server.