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
- Mix C with other programming languages☆12Aug 15, 2021Updated 4 years ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- hobby OS☆12Sep 29, 2015Updated 10 years ago
- sshkit/rake in Golang☆10May 11, 2025Updated 10 months ago
- Stack machine simulation☆13Sep 25, 2012Updated 13 years ago
- Password Manager for the commandline☆11Feb 27, 2026Updated 3 weeks ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 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
- Prometheus exporter/bridge for local services☆14Nov 27, 2022Updated 3 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
- Go package provides a common interface for task queues☆17Aug 3, 2017Updated 8 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
- thautwarm utilities.☆11Oct 16, 2018Updated 7 years ago
- Obsidian is a simple operating system kernel written in C++.☆14Apr 19, 2021Updated 4 years ago
- it's popular to keep reference lists on github☆13May 2, 2022Updated 3 years ago
- SASS mixins for named breakpoints.☆10Jan 16, 2017Updated 9 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
- Assembly Programming Learning Platform☆29Sep 16, 2012Updated 13 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
- Python实现的Scheme方言，支持宏、continuation、lambda、各种基本类型等等，可以直接Python解释执行，也可以编译到JavaScript。编译到JS可以与JavaScript动态交互（互相调用）☆21Jun 24, 2013Updated 12 years ago
- WebAssembly Syntax Highlight for VS Code☆14Jul 24, 2018Updated 7 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