xv6 OS [version for Reiss's CS4414]
☆11Nov 17, 2023Updated 2 years ago
Alternatives and similar repositories for xv6
Users that are interested in xv6 are comparing it to the libraries listed below
Sorting:
- Clean personally identifiable information from dirty dirty text.☆10May 4, 2023Updated 2 years ago
- JS virtual machine implementation for education purpose☆12Jan 7, 2023Updated 3 years ago
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Uses data from the data driven battery scheduling competition; introduces battery scheduling using MILP; compares to the find optimisatio…☆11Oct 4, 2022Updated 3 years ago
- If at first you don't succeed☆12Sep 25, 2020Updated 5 years ago
- this tool will help shrink a lvm thinpool☆10Feb 15, 2023Updated 3 years ago
- interactively identify related Authors on arxiv☆14Sep 22, 2023Updated 2 years ago
- A curated list of CPU Schedulers for linux☆13Mar 7, 2022Updated 4 years ago
- A method for evaluating the high-level coherence of machine-generated texts. Identifies high-level coherence issues in transformer-based …☆11Mar 18, 2023Updated 2 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Linux /proc data in a consistent, parsed format.☆10Mar 28, 2016Updated 9 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- Many small scripts generate, comprise, and run a build system. (An adaptation of djb's "redo" build-tool idea.)☆22May 8, 2015Updated 10 years ago
- Example code for blog post☆31Sep 7, 2013Updated 12 years ago
- newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly☆13Feb 26, 2015Updated 11 years ago
- Executes a SPIR-V shader/kernel, producing results for given inputs.☆16Feb 21, 2026Updated 2 weeks ago
- Set of classes storing basic data types like string, date, time and serialization to file, xml, data compression etc. All classes are de…☆11Jun 13, 2024Updated last year
- petitboot for ps3 with kexec "sort_segments failed" fixed☆12May 28, 2025Updated 9 months ago
- We set out to reduce jitter/latency on our Forex Trading applications to the max, the focus was on the operating system level as well as …☆10Dec 31, 2020Updated 5 years ago
- Leo code snippets☆13Apr 27, 2020Updated 5 years ago
- BotValue is a Python chatbot to translate Natural Language Requests into DB query. This version has an anonymized database of Partners.☆11May 31, 2017Updated 8 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- MuJS is a lightweight Javascript interpreter designed for embedding in other software to extend them with scripting capabilities. It is w…☆16Jan 1, 2016Updated 10 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- You probably don't want to use this fork☆10May 16, 2025Updated 9 months ago
- A little way to control Cookies, LocalStorage and SessionStorage without tears☆10Jun 18, 2024Updated last year
- y.js (https://github.com/yjs/yjs) Dart port, a CRDT implementation. CRDTs allow for local, offline editing and synchronization of shared …☆12Dec 18, 2022Updated 3 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 2 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Minimally design scripting language for use on systems with limited resources.☆58Aug 28, 2017Updated 8 years ago
- Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)☆13Feb 5, 2026Updated last month
- CLang Plugin for calculating AST hashes☆15Feb 11, 2019Updated 7 years ago
- Xinc - Continuous Integration Server☆12Jan 13, 2016Updated 10 years ago
- Information regarding the WeyTec MK06☆13May 11, 2019Updated 6 years ago
- Open source C container library like C++ STL☆10Jul 18, 2022Updated 3 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- ☆14Sep 11, 2019Updated 6 years ago
- Use external downloader directly from Firefox's native download asking dialog (Use on your own risk !!)☆14Sep 21, 2025Updated 5 months ago