Yu-zh

Yu-zh's Stars

• Anduin2017/HowToCook

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

  Language:Dockerfile68.6k4016708.8k

• geekan/HowToLiveLonger

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

  30.8k2371292.1k

• ast-grep/ast-grep

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

  Language:Rust7.9k24522187

• Ji4n1ng/OpenInTerminal

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

  Language:Swift6k35184240

• janet-lang/janet

  A dynamic language and bytecode vm

  Language:C3.7k65715231

• hax/heshijun_v_360

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

  2.4k6685159

• copilot-emacs/copilot.el

  An unofficial Copilot plugin for Emacs.

  Language:Emacs Lisp1.9k43229137

• wasmi-labs/wasmi

  WebAssembly (Wasm) interpreter.

  Language:Rust1.6k49291294

• andreabergia/rjvm

  A tiny JVM written in Rust. Learning project

  Language:Rust1.5k241880

• panglesd/slipshow

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

  Language:HTML66573412

• Barenboim/json-parser

  JSON parser in standard C

  Language:C6528681

• c-cube/qcheck

  QuickCheck inspired property-based testing for OCaml.

  Language:OCaml3591315738

• nashamri/academic-phrases

  Bypass that mental block when writing your papers.

  Language:Emacs Lisp32210426

• deislabs/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.

  Language:Rust3161415430

• malcolmstill/zware

  Zig WebAssembly Runtime Engine

  Language:Zig307113112

• azdavis/millet

  A language server for Standard ML.

  Language:Rust22085212

• chshersh/zbg

  ✨ Zero Bullshit Git

  Language:OCaml21852311

• ccz181078/Coq-BB5

  Language:Coq163736

• haskell-game/tiny-games-hs

  Haskell Tiny Game Jam

  Language:Haskell162122731

• CMU-HoTT/scott

  Selected Papers of Dana S. Scott

  1581316

• ejgallego/coq-lsp

  Visual Studio Code Extension and Language Server Protocol for Coq

  Language:OCaml155626135

• emacsmirror/git-timemachine

  Walk through git revisions of a file

  Language:Emacs Lisp136608

• OCamlPro/ocaml-cheat-sheets

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

  Language:TeX12916313

• JetBrains-Research/coqpilot

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

  Language:TypeScript82453

• shouya/ancilla.el

  AI assisted code generation/refactory in Emacs

  Language:Emacs Lisp27414

• moonbitlang/quickcheck

  Automatic testing of MoonBit programs

  Language:MoonBit18153

• sweirich/lambda-calculus

  Denotational Semantics of the Untyped Lambda Calculus

  Language:Coq16203

• tmcgilchrist/ocaml-debug-performance

  Notes on OCaml debugging and performance

  Language:JavaScript1620

• gares/math-comp-school-2022

  Language:Coq6701

• moonbit/moonbit-web

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

  Language:JavaScript3200