lovebaihezi
Sound type is everything. true = λx.λy.x false = λy.λx.y if = λc.λx.λy.y ~> x ~> c
Kan Yun
Pinned Repositories
.doom.d
.elvish
self config for elvish
.tmux
Tmux config files, powered by Node-Tmux
_ysdn
automate
A simple example for implement automate for DFA and NFA and convert Regular Grammar(Expression) to *FA.
diff-based-analyze
first time research
dinosaur-game
Chrome Dinosaur Game Using Bevy in Rust
mdz
simple Markdown parse lib(cli) in Zig
redaerok
[WIP] Multi Media Viewer build on Bevy
WenQisStudy
徐文琪的弯道超车
lovebaihezi's Repositories
lovebaihezi/diff-based-analyze
first time research
lovebaihezi/dinosaur-game
Chrome Dinosaur Game Using Bevy in Rust
lovebaihezi/mdz
simple Markdown parse lib(cli) in Zig
lovebaihezi/ast-grep
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
lovebaihezi/redaerok
[WIP] Multi Media Viewer build on Bevy
lovebaihezi/avante.nvim
Use your Neovim like using Cursor AI IDE!
lovebaihezi/binaryen
Optimizer and compiler/toolchain library for WebAssembly
lovebaihezi/bk
Terminal Epub reader
lovebaihezi/BoWenCV
lovebaihezi/cov-lsp
Lsp for code coverage.xml based on tower_lsp
lovebaihezi/crabml
a fast cross platform AI inference engine 🤖 using Rust 🦀 and WebGPU 🎮
lovebaihezi/css-share-basic
lovebaihezi/cve-keyword-match
lovebaihezi/emscripten
Emscripten: An LLVM-to-WebAssembly Compiler
lovebaihezi/FigmaToCode
Generate responsive pages and apps on HTML, Tailwind, Flutter and SwiftUI.
lovebaihezi/livecodes
Code Playground That Just Works!
lovebaihezi/oxc
The JavaScript Oxidation Compiler
lovebaihezi/REKCARC-TSC-UHT
清华大学计算机系课程攻略 Guidance for courses in Department of Computer Science and Technology, Tsinghua University
lovebaihezi/rust-analyzer
A Rust compiler front-end for IDEs
lovebaihezi/shadowsocksr-native
ShadowsocksR (SSR) native implementation for all platforms, GFW terminator
lovebaihezi/taisei
A free and open-source Touhou Project fangame
lovebaihezi/tigerbeetle
The distributed financial accounting database designed for mission critical safety and performance.
lovebaihezi/tl
Fast, zero-copy HTML Parser written in Rust
lovebaihezi/tokio-uring
An io_uring backed runtime for Rust
lovebaihezi/trojan-rs
Trojan server and proxy programs written in Rust
lovebaihezi/typst
A new markup-based typesetting system that is powerful and easy to learn.
lovebaihezi/verona
Research programming language for concurrent ownership
lovebaihezi/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
lovebaihezi/zellij
A terminal workspace with batteries included
lovebaihezi/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.