-
Yale University
- New Haven, CT
Stars
The build system and package manager for MoonBit
Fast, configurable indentation guide-bars for Emacs
A category and functional programing library for Zig language
An engine for displaying slips, the next-gen version of slides
QuickCheck inspired property-based testing for OCaml.
Notes on OCaml debugging and performance
An unofficial Copilot plugin for Emacs.
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
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
AI assisted code generation/refactory in Emacs
Denotational Semantics of the Untyped Lambda Calculus
Visual Studio Code Extension and Language Server Protocol for Coq
程序员延寿指南 | 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.