lewischeng-ms / mit-josView external linksLinks
MIT JOS 6.828 2011
☆22Jul 28, 2012Updated 13 years ago
Alternatives and similar repositories for mit-jos
Users that are interested in mit-jos are comparing it to the libraries listed below
Sorting:
- An MIT teaching OS☆44Jun 13, 2010Updated 15 years ago
- Design and Implementation of kernel level threads for xv6 operating system. Adding system call related to threading environment in xv6 al…☆30May 3, 2021Updated 4 years ago
- JOS - MIT 6.828 Operating System Engineering 2016☆71Mar 4, 2017Updated 8 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- JOS lab, MIT 6.828 Operating System Engineering☆406Mar 12, 2024Updated last year
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- Because of request from csail.mit.edu, I've removed MIT-OS 2011 6.828 - All of JOS Lab practices.☆77Sep 12, 2017Updated 8 years ago
- ☆13Updated this week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- ☆10Mar 8, 2025Updated 11 months ago
- Django App for the MLS Soccer Stats API I'm playing with☆15Aug 20, 2013Updated 12 years ago
- logic file system☆27Mar 16, 2018Updated 7 years ago
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- ☆10Nov 26, 2020Updated 5 years ago
- deploy and withdraw personal configuration files☆14Mar 3, 2025Updated 11 months ago
- ☆10Jun 9, 2016Updated 9 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- Various Pike modules☆18Aug 17, 2016Updated 9 years ago
- Portable C Compiler (CVS mirror)☆12Apr 9, 2012Updated 13 years ago
- A pythonic library to parse /proc/mdstat file☆14Feb 7, 2026Updated last week
- A way to run both Chrome OS and Arch Linux simultaneously on a Samsung Chromebook☆14Aug 2, 2012Updated 13 years ago
- Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE☆14Jan 9, 2013Updated 13 years ago
- Convert case classes to form data automatically (e.g., for Stripe API)☆12Dec 13, 2024Updated last year
- Gopher Push Notification Service☆16Jan 21, 2014Updated 12 years ago
- set of ELF tools☆12Sep 1, 2015Updated 10 years ago
- SBT Plugins For ZIO Projects☆12Updated this week
- 📲 Selfhosted RSS Podcast Feeds for Youtube channels.☆12Mar 15, 2018Updated 7 years ago
- ☆19Feb 4, 2026Updated last week
- Linux userspace block device over S3.☆13Jan 3, 2014Updated 12 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- ☆17Jun 8, 2016Updated 9 years ago
- Asynchronous Java NIO http/2 only packet streaming server with TLS encryption implemented as Scala CATS effect. Direct native translatio…☆14Aug 29, 2025Updated 5 months ago
- Distributed database synchronization library☆29Feb 19, 2023Updated 2 years ago
- NASM/GoLink OpenGL 1k Framework☆12Dec 25, 2017Updated 8 years ago
- I wanted to build my own implementation of waifu2x using Keras and TensorFlow, but I ended up using a slightly different architecture.☆12Feb 15, 2022Updated 4 years ago
- Solutions to https://adventofcode.com/2016 (complete)☆12Dec 18, 2024Updated last year
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- a getopt[_long] implementation with GNU semantics, taken from netbsd☆13Sep 24, 2012Updated 13 years ago