UNIX二十五年
☆16Jun 29, 2018Updated 7 years ago
Alternatives and similar repositories for A-Quarter-Century-of-UNIX-zh
Users that are interested in A-Quarter-Century-of-UNIX-zh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type qualifiers for C☆16Sep 21, 2011Updated 14 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Postgrex.Extension and Ecto.Type for PostgreSQL isn module☆10Updated this week
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LLM powered drawio live editor☆59Dec 10, 2025Updated 4 months ago
- uCore MIPS32 porting☆18Dec 16, 2019Updated 6 years ago
- ☆17Jun 7, 2025Updated 10 months ago
- Ruby version SDK for bosonnlp.com☆20Oct 20, 2014Updated 11 years ago
- Watt-32 TCP library.☆13Apr 11, 2026Updated last week
- 正则表达式解析引擎☆15May 4, 2023Updated 2 years ago
- Thesis code☆26Aug 16, 2023Updated 2 years ago
- Verilog code of Loongson's GS132 core☆12Dec 19, 2019Updated 6 years ago
- A work-in-progress interactive bootloader for darwin-on-arm☆12Feb 22, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Experimental iOS app embedding Fabrice Bellard's TinyEMU☆13May 26, 2020Updated 5 years ago
- build system image for TH1520 boards☆12Dec 25, 2025Updated 3 months ago
- 从OpenNT提取的NT4_CMD_x86源码及其编译环境☆12Mar 26, 2019Updated 7 years ago
- The Sim programming language, a strongly typed, compiled programming language with a goal of simplicity. Sim是一门简洁的、强类型的编译型语言。☆12Updated this week
- Preparation for technical interviews☆28Jun 20, 2011Updated 14 years ago
- ☆10Sep 9, 2019Updated 6 years ago
- Tool set for the VisSat project☆12Jun 21, 2022Updated 3 years ago
- an image viewer for 9front☆12Nov 30, 2021Updated 4 years ago
- A fork of v7x86☆17Oct 22, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A manager for old PC emulation☆13Jun 19, 2023Updated 2 years ago
- TinyEMU (previously known as RISCVEMU) is a small emulator emulating 128 bit RISC-V and x86 machines, written by Fabrice Bellard☆17Nov 15, 2018Updated 7 years ago
- 斗鱼直播 for XBMC☆12Sep 3, 2014Updated 11 years ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Oct 20, 2019Updated 6 years ago
- This is my repository with ubuntu kernel for GPD Pocket☆14Oct 31, 2018Updated 7 years ago
- A simple armv4 emulator with embedded freertos and linux operating system support, Demo:☆13Sep 12, 2021Updated 4 years ago
- ESP8266-based WiFi serial modem emulator ROM☆16Sep 27, 2024Updated last year
- Emulating other CPU architectures in Docker made easy☆14Mar 9, 2022Updated 4 years ago
- ☆13Dec 27, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- ☆10Apr 10, 2026Updated last week
- build mainline SBI and Linux for allwinner D1 nezha board☆11Jun 30, 2021Updated 4 years ago
- ☆11Feb 20, 2025Updated last year
- Java Compiler, with functional lexical analyzer and an extended parser; preliminary error and exception handling☆10Aug 8, 2013Updated 12 years ago
- ☆12Oct 19, 2022Updated 3 years ago
- an hex editor for 9front☆17Mar 14, 2024Updated 2 years ago