A collaborative bibliography of work related to the theory and practice of computational effects

Verified and Efficient Matching of Regular Expressions with Lookaround

Creusot helps you prove your code is correct in an automated fashion.

A CommonMark toolkit for MoonBit.

The build system and package manager for MoonBit

Fast, configurable indentation guide-bars for Emacs

A category and functional programing library for Zig language

A simple LLM client for Emacs

Automatic testing of MoonBit programs

An engine for displaying slips, the next-gen version of slides

WebAssembly (Wasm) interpreter.

QuickCheck inspired property-based testing for OCaml.

Notes on OCaml debugging and performance

An unofficial Copilot plugin for Emacs.

A tiny JVM written in Rust. Learning project

VSCode extension that is designed to help automate writing of Coq proofs.

Moonbit Template for Web application 月兔网页程序开发模板

✨ Finder Toolbar app for macOS to open the current directory in Terminal, iTerm, Hyper or Alacritty.

Walk through git revisions of a file

Zig WebAssembly Runtime Engine

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

贺师俊与360的劳动争议诉讼

✨ Zero Bullshit Git

AI assisted code generation/refactory in Emacs

Haskell Tiny Game Jam

A dynamic language and bytecode vm

JSON parser in standard C

Denotational Semantics of the Untyped Lambda Calculus

Visual Studio Code Extension and Language Server Protocol for Coq