Pinned Repositories
ntp-toolkit
Neural theorem proving toolkit: data extraction tools for Lean 4
.DS_Store-parser
Parses everything from the .DS_Store files generated by macOS
all-music
All Western music.
codingbat-writer
Neural network that writes code for https://codingbat.com/python.
dreamhoi
DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors
mir-tcga-ccle-paper
mitsuku-api
Mitsuku is a chatbot. This is an unofficial Python API for Mitsuku.
primality-tests
Miller–Rabin primality test in Lean
mathlib4
The math library of Lean 4
ck
Collective Mind (CM) is a small, modular, cross-platform and decentralized workflow automation framework with a human-friendly interface and reusable automation recipes to make it easier to build, run, benchmark and optimize AI, ML and other applications and systems across diverse and continuously changing models, data, software and hardware
hanwenzhu's Repositories
hanwenzhu/.DS_Store-parser
Parses everything from the .DS_Store files generated by macOS
hanwenzhu/dreamhoi
DreamHOI: Subject-Driven Generation of 3D Human-Object Interactions with Diffusion Priors
hanwenzhu/primality-tests
Miller–Rabin primality test in Lean
hanwenzhu/mir-tcga-ccle-paper
hanwenzhu/codingbat-writer
Neural network that writes code for https://codingbat.com/python.
hanwenzhu/all-music
All Western music.
hanwenzhu/ask-me
ML-based question answering on the web with TF.js
hanwenzhu/newtab
A tool to display the time & next place to be in (for my personal use)
hanwenzhu/ck
Collective Knowledge framework (CK) helps to organize software projects as a database of reusable components, automation recipes and portable workflows with common APIs and extensible meta descriptions based on FAIR principles. See the real-world use cases to support reproducible MLSys R&D, enable portable MLOps and automate ML/SW/HW co-design:
hanwenzhu/ck-mlops
A collection of portable workflows, automation recipes and components for MLOps in a unified CK format with a common CLI, Python API, extensible meta descriptions and web services. See real-world use cases to automate ML/SW/HW co-design and make it easier to deploy efficient ML Systems across diverse platforms:
hanwenzhu/CLT
Central limit theorem in Lean
hanwenzhu/fpv2023-v4.7
Lean v4.7 | Lecture notes, exercises, homeworks for Brown CS1951x 2023
hanwenzhu/HepLean-v4.7
Ported to Lean 4.7 | A project to digitalise results from high energy physics into Lean.
hanwenzhu/HTPILeanPackage4.7
hanwenzhu/kolmogorov_extension4
hanwenzhu/language-and-compiler-course
Homework and lab material for the "Programming Language and Compiler" elective at X Academy.
hanwenzhu/math2001-bump
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
hanwenzhu/math2001-bump-duper
hanwenzhu/Maze-solver
Compro project
hanwenzhu/mlops
CK MLOps components
hanwenzhu/MultiviewSMPLifyX
hanwenzhu/MVDream-threestudio
3D generation code for MVDream
hanwenzhu/ntp-toolkit
Neural theorem proving toolkit: data extraction tools for Lean 4
hanwenzhu/quizlet-cheater
Make your score the highest on Quizlet matches, at half a second.
hanwenzhu/rebirth
包校中文文学刊物《新生》网站
hanwenzhu/Snake
Play this awesome Snake game!
hanwenzhu/Snake-on-Chrome
An open-source chrome extension, based on Snake.
hanwenzhu/sol-2-9
The repository contains Lean code that implements problem 2-9
hanwenzhu/tictactoe-player
Reinforcement learning TicTacToe playing in pure Python
hanwenzhu/ykpstools
Tools & utilities associated with online logins of YKPS. PyPI site: