三体编程语言 Three Body Language written in Rust

Solidity, the Smart Contract Programming Language

WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy

The P programming language.

ANSI Common Lisp 中文翻译版

List of papers studying machine learning through the lens of category theory

⭐️ A friendly language for building type-safe, scalable systems!

Nop Platform 2.0基于可逆计算原理从零开始构建的采用面向语言编程范式的下一代低代码开发平台。包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计，根据Excel数据模型自动生成GraphQL/REST/gRPC服务，定制化开发无需修改基础产品源码，支持GraalVM原生编译，中小企业可以免费商用。 a new ge…

A functional programming language based on algebraic effect handlers

Minimal implementations for dependent type checking and elaboration

Compiler for Elm, a functional language for reliable webapps.

The TodoMVC app written in Elm, nice example for beginners.

Yet another Rust algebraic effect library using generators

Awesome Programming Languages

Distributions of Agda executable compiled into WebAssembly.

The build system and package manager for MoonBit