[WIP] 我的世界（Minecraft）红石电路计算机资料集索引
☆19Jun 17, 2019Updated 7 years ago
Alternatives and similar repositories for redstone-computer-technology
Users that are interested in redstone-computer-technology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Calculating MD5 in Minecraft 1.13+☆10Mar 1, 2019Updated 7 years ago
- The plugin that add features to your spigot servers.☆25Jun 11, 2024Updated 2 years ago
- I just want to write some code. Don't bother me, and take the software as you want.☆20May 12, 2019Updated 7 years ago
- [WIP]《这是 C++ 的世界！》电子书仓库☆32Jun 11, 2026Updated last month
- ☆12Aug 26, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 6 months ago
- Majiro Engine OBJ String Editor☆17Mar 12, 2021Updated 5 years ago
- lite Python programs for AstroDX☆12Dec 3, 2024Updated last year
- ☆10Nov 22, 2023Updated 2 years ago
- Play code with online playgrounds☆13Mar 22, 2020Updated 6 years ago
- something for paper agent☆11Dec 18, 2024Updated last year
- The frontend of what converts Github Flavored Markdown to MCBBS Flavored BBCode☆88Apr 9, 2023Updated 3 years ago
- A transport protocol based on QQ messages.☆12Mar 26, 2020Updated 6 years ago
- Code from CS152 lectures☆14Apr 13, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Contains a little extension for the WPF Grid to create RowDefinitions and ColumnDefinitions with a ShortHand Syntax☆12Apr 8, 2021Updated 5 years ago
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- a simple minecraft clone, written in c++☆35Jul 8, 2026Updated 2 weeks ago
- ☆13Dec 31, 2025Updated 6 months ago
- some old code about scheme compiler I've ever wrote☆14Jun 21, 2025Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- 这是一个基于 OpenCV 4 和 Qt 5 的人脸识别小demo☆11Feb 13, 2021Updated 5 years ago
- Simple implementation of ST LC type checker in Haskell☆13Apr 18, 2022Updated 4 years ago
- Proof-of-concept, mostly safe multimethods in Racket☆12Sep 9, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Updated this week
- 星域联盟 Minecraft 1.12.2 ~ 1.20.1 魔改公开仓库☆16Updated this week
- ☆17Apr 4, 2024Updated 2 years ago
- A bunch of utils to make crafttweaker and contenttweaker easier to use.☆14May 18, 2023Updated 3 years ago
- New NJUPT mirror web interface☆11Nov 11, 2024Updated last year
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- C++ utilities for lexing and parsing of script languages and configuration files.☆12Dec 23, 2017Updated 8 years ago
- Single-Cycle CPU for Homework of Computer System Design in CUMT.☆13Dec 25, 2025Updated 6 months ago
- A very little language☆16Jul 1, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Theorem Proving in Emacs☆12Aug 18, 2025Updated 11 months ago
- CRC Tool Kit☆18Oct 5, 2012Updated 13 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 7 months ago
- ☆14Feb 5, 2025Updated last year
- A handy tool for reverse-engineering archive files☆21May 15, 2021Updated 5 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Convers WAV files to XNB sound files. A tool for modding XNA games.☆11Mar 29, 2017Updated 9 years ago