MetropolisRaccoon
Follow
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMay 7, 2024 -
canokey-core Public
Forked from canokeys/canokey-coreCore implementations of an open-source secure key
C Apache License 2.0 UpdatedApr 22, 2024 -
garminexport Public
Forked from petergardfjall/garminexportGarmin Connect activity exporter and backup tool
Python Apache License 2.0 UpdatedMar 25, 2024 -
Esp32_VoiceChat_LLMs Public
Forked from MetaWu2077/Esp32_VoiceChat_LLMsesp32 based device, mainly used for voice chat with large language models
C++ UpdatedMar 24, 2024 -
SSG Public
Forked from ZJULearning/SSGcode for satellite system graphs
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 26, 2023 -
fastapi-best-practices Public
Forked from zhanymkanov/fastapi-best-practicesFastAPI Best Practices and Conventions we used at our startup
UpdatedOct 22, 2023 -
7days-golang Public
Forked from geektutu/7days-golang7 days golang programs from scratch (web framework Gee, distributed cache GeeCache, object relational mapping ORM framework GeeORM, rpc framework GeeRPC etc) 7天用Go动手写/从零实现系列
Go MIT License UpdatedSep 15, 2023 -
garminExtractor Public
Forked from RomainQuidet/garminExtractorextract GARMIN firmware from GCD file
Swift UpdatedFeb 26, 2019