Pinned Repositories
ai_snake
format_for_fdu_math
复旦大学数学学院毕业论文latex格式
fudanxk
an auto script for fudanxk
functionalpy
haskellLearning
lambda-lisp
A lisp like language for lambda calculus and its relatives.
mal_old
My implementation following this guide https://github.com/kanaka/mal
osx_launchctl_cleaner
picoprobe
Seminar4DeepLearning
fduxiao's Repositories
fduxiao/functionalpy
fduxiao/picoprobe
fduxiao/AntiGM
fduxiao/auto-tracing1
fduxiao/cat_logic_23_fall_notes
Additional materials for categorical logic in tufts.
fduxiao/cythonize_module
fduxiao/docker-lean4
Docker images for lean 4.
fduxiao/ESP32_ZKB
fduxiao/hass_mqtt
Make HomeAssistant MQTT devices through python
fduxiao/hc_hack
fduxiao/huffman
fduxiao/image-bed
fduxiao/just
a very small v8 javascript runtime for linux only
fduxiao/logic_outline
fduxiao/lv_binding_micropython
LVGL binding for MicroPython
fduxiao/mc_pack_builder
fduxiao/mhp2g_custom_quest
Rewrite the tools provided in https://www.youtube.com/watch?v=YxfAZ_PnzM8 in python
fduxiao/mhr_builds
怪物猎人崛起配装器 - Help yourself to builds
fduxiao/myhdl
The MyHDL development repository
fduxiao/pico-setup
fduxiao/py_monadic_calc
fduxiao/pyhdl1
尝试制作python的verilog生成器
fduxiao/pyhdl2
fduxiao/pytorch
Tensors and Dynamic neural networks in Python with strong GPU acceleration
fduxiao/quick_start.lean
Quick start of lean4 for those knowing type theory
fduxiao/SED-PC
PC version of the PSP savedata encrypter/decrypter
fduxiao/ssd1680-micropython-drivers
Micropython driver for ssd1680 e-ink display
fduxiao/tangnano9k-tutorial
fduxiao/umqtt_python
Make a python umqtt package from https://github.com/micropython/micropython-lib/
fduxiao/vision-ci
A continuous integration platform for computer vision.