For MIT 6.828 Operating System Engineering
☆39Sep 24, 2020Updated 6 years ago
Alternatives and similar repositories for homebrew-i386-jos-elf-gcc
Users that are interested in homebrew-i386-jos-elf-gcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ethereuem 2.0 Staking with Kubernetes.☆14Apr 20, 2022Updated 4 years ago
- statically linked redis binaries☆11Aug 21, 2021Updated 5 years ago
- 💠 Pythonic cross-platform colored terminal text [support 16/256 colors]☆11Mar 8, 2020Updated 6 years ago
- Gomoku AI based AlphaZero Algorithm☆10Feb 27, 2019Updated 7 years ago
- Enhance your vanilla Rails partials with a simple helper, component class and decorators. This technique is also part of https://github.c…☆10Sep 22, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Code reading history☆10Oct 20, 2021Updated 5 years ago
- A distributed blog publish system based on IPFS☆24Oct 23, 2017Updated 9 years ago
- Moved to https://github.com/AthenZ/athenz-client-sidecar☆15Dec 20, 2022Updated 3 years ago
- Two Puma-derived Rack servers exercising Ruby's newest concurrency features: the M:N scheduler (PuMaNy) and Ractors (Punicorn).☆12Aug 16, 2026Updated 2 months ago
- ☆12Sep 15, 2016Updated 10 years ago
- Apache2 starter for testing perl modules☆13Feb 15, 2011Updated 15 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Generate graphs of C/C++ #include dependencies☆10Aug 29, 2018Updated 8 years ago
- Alternative implementation of foliant documentation genertor in Nim.☆10Dec 6, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Index what you read for search.☆10Dec 12, 2019Updated 6 years ago
- ☆12Dec 29, 2022Updated 3 years ago
- 「30日でできる！ OS自作入門」☆32Apr 24, 2017Updated 9 years ago
- Dex website☆13Oct 7, 2026Updated 3 weeks ago
- ☆10Aug 4, 2018Updated 8 years ago
- ☆10Aug 28, 2019Updated 7 years ago
- apue.3e 注释版本☆12Sep 27, 2015Updated 11 years ago
- UCAS Computer Network Lab: Source code and Report.☆15Mar 21, 2019Updated 7 years ago
- Command line interface for performing Git hosting service operations☆17Oct 14, 2026Updated 2 weeks 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.
- Minimal, components-based Middleman template.☆12Jan 29, 2016Updated 10 years ago
- ☆11May 12, 2024Updated 2 years ago
- AE-solver and Skolemizer☆18Jul 12, 2026Updated 3 months ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated last year
- Supports Rails session store relocation with duplicate write session data to multiple stores☆12Mar 23, 2016Updated 10 years ago
- Originator Profile Project☆12Updated this week
- Toy File System, currently using FUSE.☆10Jun 1, 2019Updated 7 years ago
- Nim (the language) bindings for ffmpeg☆10Nov 2, 2017Updated 9 years ago
- C implementation of Data Encryption Standard☆12Oct 23, 2015Updated 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- csvu is a very simple CSV colorizer, written in Golang☆13Jun 19, 2019Updated 7 years ago
- Website about the Common CA Database☆18Oct 27, 2026Updated last week
- Decentralized Systems Benchmarking and Experiment Runner Framework☆10Feb 28, 2025Updated last year
- natural language processing for japanese☆10Dec 4, 2017Updated 8 years ago
- The Xemime programming language☆13Oct 13, 2020Updated 6 years ago
- Go言語で学ぶYahoo! ID連携の黒帯ハンズオン☆12May 5, 2020Updated 6 years ago
- github.com/cznic/sqlite3shell has moved to modernc.org/sqlite3shell☆21Nov 22, 2018Updated 7 years ago