Lists (2)
Starred repositories
一个开源活动、会议和竞赛的展示网站 ｜ Deadlines of open source events, conferences, and competitions.
程序员延寿指南 | A programmer's guide to live longer
Statically typed, purely functional effects for Python.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
🦖 Implementations of various type inference algorithms. Online interactive playground is available at https://zoo.cuichen.cc/
Effect monads with specifications (DIjkstra Monads) in Lean 4
The simplest implementation of Dependent Pattern Matching and Indexed Inductive Types.
Example of liquid glass effect in Flutter
Formal specification of the Haskell Language Report
A programming language to skip the things you have already computed
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf