Yu-zh

Coq-BB5

slipshow

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

wasmi

WebAssembly (Wasm) interpreter.

qcheck

QuickCheck inspired property-based testing for OCaml.

ocaml-debug-performance

Notes on OCaml debugging and performance

copilot.el

An unofficial Copilot plugin for Emacs.

rjvm

A tiny JVM written in Rust. Learning project

coqpilot

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

moonbit-web

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

OpenInTerminal

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

git-timemachine

Walk through git revisions of a file

zware

Zig WebAssembly Runtime Engine

ast-grep

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

heshijun_v_360

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

zbg

✨ Zero Bullshit Git

ancilla.el

AI assisted code generation/refactory in Emacs

tiny-games-hs

Haskell Tiny Game Jam

janet

A dynamic language and bytecode vm

json-parser

JSON parser in standard C

lambda-calculus

Denotational Semantics of the Untyped Lambda Calculus

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

millet

A language server for Standard ML.

math-comp-school-2022

HowToLiveLonger

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

spiderlightning

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.

scott

Selected Papers of Dana S. Scott

academic-phrases

Bypass that mental block when writing your papers.

ocaml-cheat-sheets

OCaml Documentations as one-pagers, easy to keep useful commands in mind

HowToCook

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

company-coq

A Coq IDE build on top of Proof General's Coq mode