Skip to content
View fduxiao's full-sized avatar
22 followers · 12 following
  • China

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report fduxiao

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • mpy_port_example Public

    C GNU General Public License v3.0 Updated Oct 20, 2024

  • FormalRewrite Public

    Lean GNU General Public License v3.0 Updated Oct 17, 2024

  • AntiGM Public

    Python GNU General Public License v3.0 Updated Oct 13, 2024

  • hc_hack Public

    Python GNU General Public License v3.0 Updated Oct 7, 2024

  • hass_mqtt Public

    Make HomeAssistant MQTT devices through python

    Python MIT License Updated Sep 27, 2024

  • umqtt_python Public

    Make a python umqtt package from https://github.com/micropython/micropython-lib/

    Shell Other Updated Sep 26, 2024

  • pyhdl2 Public

    Python Updated Aug 8, 2024

  • ESP32_ZKB Public

    Python Updated Aug 5, 2024

  • quick_start.lean Public

    Quick start of lean4 for those knowing type theory

    Lean Updated May 29, 2024

  • docker-lean4 Public

    Forked from xubaiw/docker-lean

    Docker images for lean 4.

    Dockerfile Updated May 11, 2024

  • picoprobe Public

    Forked from raspberrypi/debugprobe
    C 1 Updated May 8, 2024

  • py_monadic_calc Public

    Python GNU General Public License v3.0 Updated Apr 24, 2024

  • mc_pack_builder Public

    Python GNU General Public License v3.0 Updated Apr 24, 2024

  • functionalpy Public

    python generator monad yield
    Python 1 GNU General Public License v3.0 Updated Mar 30, 2024

  • pyhdl1 Public

    尝试制作python的verilog生成器

    Python GNU General Public License v3.0 Updated Mar 29, 2024

  • myhdl Public

    Forked from myhdl/myhdl

    The MyHDL development repository

    Python GNU Lesser General Public License v2.1 Updated Feb 22, 2024

  • lv_binding_micropython Public

    Forked from lvgl/lv_binding_micropython

    LVGL binding for MicroPython

    C MIT License Updated Jan 11, 2024

  • auto-tracing1 Public

    Python GNU General Public License v3.0 Updated Nov 2, 2023

  • cat_logic_23_fall_notes Public

    Additional materials for categorical logic in tufts.

    GNU General Public License v3.0 Updated Sep 4, 2023

  • ssd1680-micropython-drivers Public

    Forked from hfwang132/ssd1680-micropython-drivers

    Micropython driver for ssd1680 e-ink display

    Python MIT License Updated May 29, 2023

  • tangnano9k-tutorial Public

    GNU General Public License v3.0 Updated Jan 15, 2023

  • huffman Public

    Python Updated Apr 3, 2022

  • cythonize_module Public

    Python Updated Sep 13, 2021

  • just Public

    Forked from just-js/just

    a very small v8 javascript runtime for linux only

    JavaScript MIT License Updated Jun 5, 2021

  • mhr_builds Public

    怪物猎人崛起配装器 - Help yourself to builds

    Vue GNU General Public License v3.0 Updated May 8, 2021

  • vision-ci Public

    A continuous integration platform for computer vision.

    GNU General Public License v3.0 Updated Jan 27, 2021

  • pico-setup Public

    Forked from raspberrypi/pico-setup
    Shell Updated Jan 21, 2021

  • pytorch Public

    Forked from pytorch/pytorch

    Tensors and Dynamic neural networks in Python with strong GPU acceleration

    C++ Other Updated Jan 17, 2021

  • SED-PC Public

    Forked from BrianBTB/SED-PC

    PC version of the PSP savedata encrypter/decrypter

    C GNU General Public License v3.0 Updated Jan 4, 2021

  • mhp2g_custom_quest Public

    Rewrite the tools provided in https://www.youtube.com/watch?v=YxfAZ_PnzM8 in python

    Python GNU General Public License v3.0 Updated Jan 4, 2021