Truly independent web browser

深度学习经典、新论文逐段精读

Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations

TEA web UI framework for MoonBit. WIP

🧡 Follow everything in one place

A collection of awesome Haskell videos. Inspired by awesome projects line.

A library for building fast, reliable and evolvable network services.

Flake template for Haskell repository

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

OCaml Language Server Protocol implementation

Functional Priority Search Queues for OCaml

Algebraic effects in the Bluefin effect system

A representative FP Castle

Light library to deal with RPCs in OCaml

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

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.

A proof assistant and a dependently-typed language

Concurrency Primer

being the teaching materials and exercises for CS410 in the 2021/22 session

A Simple Static Server Powered By Scala

todo and unimplemented, robustly implemented

十分钟魔法练习

Materials for the BOBkonf 2024 tutorial on staging

MoonBit's Core library

More stable versions of some articles from my blog

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!