DaviRain-Su

coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

Pearcleaner

A free, source-available and fair-code licensed mac app cleaner

move-prover-examples

A gentle, example-based guide to getting started with the Move prover.

sui

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

apalache

APALACHE: symbolic model checker for TLA+ and Quint

move-sui

python-training

Python training for business analysts and traders

solana-poc-framework

A framework for creating PoC's for Solana Smart Contracts in a painless and intuitive way

learn-ocaml

A Web Application for Learning OCaml

mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

compound_interest

DictionaryByGPT4

一本 GPT4 生成的单词书📚，超过 8000 个单词分析，涵盖了词义、例句、词根词缀、变形、文化背景、记忆技巧和小故事

typikon

Typikon lets you use markdown to write your online books.

rescript-compiler

The compiler for ReScript.

geektime-books

:books: 极客时间电子书

gpt-translated-pdf-zh

ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

awesome-deepseek-integration

reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

infer

A static analyzer for Java, C, C++, and Objective-C

awesome-multicore-ocaml

A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)

Bend

A massively parallel, high-level programming language

CompileAndroidSource

编译Android源码

markdown-rs

CommonMark compliant markdown parser in Rust with ASTs and extensions

znap

Performance-first Rust Framework to build APIs compatible with the Solana Actions Spec.

aws-sdk-rust

AWS SDK for the Rust Programming Language

capnproto-rust

Cap'n Proto for Rust

rust-lightning

A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!

RustQuant

Rust library for quantitative finance.

rustler

Safe Rust bridge for creating Erlang NIF functions