Introduction to Operating Systems
☆20Dec 25, 2013Updated 12 years ago
Alternatives and similar repositories for cs537
Users that are interested in cs537 are comparing it to the libraries listed below
Sorting:
- WebView component from Mozilla for Android☆13May 15, 2015Updated 10 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- hobby OS☆12Sep 29, 2015Updated 10 years ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- A simple 8-bit virtual stack machine☆16Aug 30, 2014Updated 11 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- An TUI based elf analyzer☆10Apr 2, 2021Updated 4 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆43Updated this week
- Yes, really!☆11May 8, 2015Updated 10 years ago
- LLVM backend for EFI Byte Code☆11Jul 14, 2019Updated 6 years ago
- modern implementation of real goto/label statements in python 3.5+.☆13Feb 9, 2021Updated 5 years ago
- ☆19Nov 12, 2020Updated 5 years ago
- A 64 bit OS☆10Nov 12, 2025Updated 4 months ago
- A runtime DSL parser generator for python.☆18May 17, 2016Updated 9 years ago
- Support UEFI load☆11Oct 1, 2015Updated 10 years ago
- Language built during the Programming Language Masterclass.☆24Mar 19, 2014Updated 12 years ago
- Discrete Fourier Transform in OpenCV and JavaFX☆12Feb 21, 2021Updated 5 years ago
- Use features of rejected PEPs☆11Oct 11, 2019Updated 6 years ago
- Obsidian is a simple operating system kernel written in C++.☆14Apr 19, 2021Updated 4 years ago
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 3 years ago
- Simple Telegram bot Framework☆10Apr 8, 2017Updated 8 years ago
- A practical application launcher for impractical people☆12Dec 21, 2023Updated 2 years ago
- An IR for Python VM, provided with indirect jump instructions.☆18Jan 23, 2020Updated 6 years ago
- ☆13Mar 1, 2020Updated 6 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- An operating system.☆30Dec 6, 2017Updated 8 years ago
- A UEFI Boot Loader Built in NASM☆44Feb 9, 2024Updated 2 years ago
- haskell-like compiled language based on Python VM☆10Sep 16, 2018Updated 7 years ago
- Command line-based python virtualbox bindings.☆14May 25, 2014Updated 11 years ago
- Python module for using CEFPython with Panda3D☆12Jan 9, 2020Updated 6 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 3 months ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- 📝📝📝Learning Machine Learning/Deep Learning☆10Oct 10, 2022Updated 3 years ago
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.☆14Feb 26, 2014Updated 12 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago