minghongx
Follow
-
open-logic Public
Forked from OpenLogicProject/OpenLogicAn open-source, customizable intermediate logic textbook.
TeX Creative Commons Attribution 4.0 International UpdatedDec 9, 2024 -
nixos-and-flakes-book Public
Forked from ryan4yin/nixos-and-flakes-book🛠️ ❤️ Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！
Nix Creative Commons Attribution Share Alike 4.0 International UpdatedDec 9, 2024 -
-
scoop-extras-bucket Public
Forked from ScoopInstaller/Extras📦 The Extras bucket for Scoop.
PowerShell The Unlicense UpdatedSep 18, 2024 -
A pre-masters programme titled "Conversion in Philosophy" at the University of St Andrews.
-
bachelor-of-engineering Public archive
This portfolio showcases assignments and projects completed during the MRS 2+2 study route at XJTLU / LivUni, spanning from '19-'23. Please be aware that the collection is not exhaustive.
-
-
final-year-project Public archive
Mapless navigation with deep reinforcement learning, a student-specified project on neural computing, under the supervision of Dr @muratuney.
-
year2-project Public archive
Simulating postural control on a quadruped robot in PyBullet, a student-specified project on robotics, under the supervision of Dr @muratuney.
-
-
mds Public archive
陈炫里's static file server with markdown support.
Go MIT License UpdatedJan 17, 2024 -
-
-
arewewaylandyet Public
Forked from mpsq/arewewaylandyetSources for https://arewewaylandyet.com
HTML MIT License UpdatedDec 2, 2023 -
-
summer-undergraduate-research-fellowship Public archive
Control Unitree Go1 quadrupedal robot with OCS2 toolbox.
-
-
-
-
-
-
academic-writing Public template
My academic writing templates.
-
deeprl Public archive
My own implementation of deep reinforcement learning algorithms.
-
embedded-protein-viewer Public archive
Examples for embedding protein viewers (Mol* and NGL) into websites.
HTML UpdatedFeb 6, 2023 -
-
ocs2 Public archive
Unoffical dockerised Optimal Control for Switched Systems (OCS2).
-
-
-
robowork Public archive
2021 中国工程机器人大赛暨国际公开赛 (RoboWork) - 视觉机器人项目 - 视觉机器狗识别赛，赛用代码。