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

A language server for Standard ML.

程序员延寿指南 | A programmer's guide to live longer

A set of WIT definitions and associated implementations to enable app developers to work at a faster pace and require less knowledge of the environment in which they are executing.