Jiecheng Z's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
archive
Replacement for the archive repo
blitz-bayesian-deep-learning
A simple and extensible library to create Bayesian Neural Network layers on PyTorch.
curve-contract
Vyper contracts used in Curve.fi exchange pools.
diggerdu
Meta Repo of X. Du
doom-snippets
The Doom Emacs snippets library
Encourager
Uses AI to not only organize tasks but also motivate and support its users.
fcitx.el
Better fcitx integration for Emacs.
fp-lean
Functional Programming in Lean
gb-asm-tutorial
Learn to create games for the Game Boy using Assembly
Graphormer
This is the official implementation for "Do Transformers Really Perform Bad for Graph Representation?".
JiechengZhao
Config files for my GitHub profile.
lean4
Lean 4 programming language and theorem prover
lean4game
Server to host lean games.
leanprover-zuilp-achive
leanprover zuilp achive
m2cgen
Transform ML models into a native code (Java, C, Python, Go, JavaScript, Visual Basic, C#, R, PowerShell, PHP, Dart, Haskell, Ruby) with zero dependencies
mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
nextjs-dashboard
learn nexjs example project
NNG4
Natural Number Game
python-mnemonic
:snake: Mnemonic code for generating deterministic keys, BIP39
pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
qwerty-learner
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
shap
A unified approach to explain the output of any machine learning model.
theorem_proving_in_lean4
Theorem Proving in Lean 4
truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
v3-core
🦄 🦄 🦄 Core smart contracts of Uniswap v3
zulip-archive
Generate a static HTML archive of messages in any combination of streams in a Zulip organization.