Pinned 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.
blog
Chaos
A social coding experiment that updates its own code democratically. http://chaosthebot.com
cli-table
Pretty unicode tables for the CLI with Node.JS
copaint
cooperating paint board
JiechengZhao's Repositories
JiechengZhao/agda
Agda is a dependently typed programming language / interactive theorem prover.
JiechengZhao/archive
Replacement for the archive repo
JiechengZhao/blitz-bayesian-deep-learning
A simple and extensible library to create Bayesian Neural Network layers on PyTorch.
JiechengZhao/blog
JiechengZhao/curve-contract
Vyper contracts used in Curve.fi exchange pools.
JiechengZhao/diggerdu
Meta Repo of X. Du
JiechengZhao/doom-snippets
The Doom Emacs snippets library
JiechengZhao/Encourager
Uses AI to not only organize tasks but also motivate and support its users.
JiechengZhao/fcitx.el
Better fcitx integration for Emacs.
JiechengZhao/fp-lean
Functional Programming in Lean
JiechengZhao/gb-asm-tutorial
Learn to create games for the Game Boy using Assembly
JiechengZhao/Graphormer
This is the official implementation for "Do Transformers Really Perform Bad for Graph Representation?".
JiechengZhao/JiechengZhao
Config files for my GitHub profile.
JiechengZhao/lean4
Lean 4 programming language and theorem prover
JiechengZhao/lean4game
Server to host lean games.
JiechengZhao/leanprover-zuilp-achive
leanprover zuilp achive
JiechengZhao/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
JiechengZhao/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
JiechengZhao/nextjs-blog
JiechengZhao/nextjs-dashboard
learn nexjs example project
JiechengZhao/nextjs-subscription-payments
JiechengZhao/NNG4
Natural Number Game
JiechengZhao/python-mnemonic
:snake: Mnemonic code for generating deterministic keys, BIP39
JiechengZhao/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
JiechengZhao/qwerty-learner
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
JiechengZhao/shap
A unified approach to explain the output of any machine learning model.
JiechengZhao/theorem_proving_in_lean4
Theorem Proving in Lean 4
JiechengZhao/truffle
A tool for developing smart contracts. Crafted with the finest cacaos.
JiechengZhao/v3-core
🦄 🦄 🦄 Core smart contracts of Uniswap v3
JiechengZhao/zulip-archive
Generate a static HTML archive of messages in any combination of streams in a Zulip organization.