klaudiosinani / operating-systemsLinks
Inter-process communication, synchronization & scheduling algorithms
☆12Updated 6 years ago
Alternatives and similar repositories for operating-systems
Users that are interested in operating-systems are comparing it to the libraries listed below
Sorting:
- Deep oceanic blue iTerm theme☆12Updated 3 months ago
- My Vim configuration☆21Updated last month
- Deep oceanic blue Plank dock theme☆32Updated 3 months ago
- The source code for the beyondgrep.com website☆43Updated 7 months ago
- Powershell Config☆63Updated 11 years ago
- GNU M4. Mirror of git://git.savannah.gnu.org/m4.git☆26Updated 4 months ago
- Knowledge base, Today I Learned, Cheatsheet ... Call this as you want ...☆15Updated last year
- A list of prompts for various shells☆17Updated 6 years ago
- Super awesome your Hyper terminal shall look☆246Updated 3 months ago
- A synthetic intelligence is our name for a truly general, human-level artificial intelligence.☆13Updated 11 years ago
- Edit YAML and see it processed by various processors☆43Updated 4 years ago
- An extension for managing projects. Feature rich, customizable, automatically finds your projects.☆70Updated 2 years ago
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆31Updated 2 years ago
- GNU Automake. Mirror of git://git.savannah.gnu.org/automake.git☆67Updated 3 weeks ago
- Perform file system operations with admin privileges☆27Updated 3 years ago
- This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or …☆27Updated 2 years ago
- This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to ben…☆14Updated 3 years ago
- A release note generator that reads and parses git commits and retrieves issue links from GitHub.☆16Updated 4 years ago
- ☆16Updated 9 years ago
- ☆15Updated last week
- A colorizer and set of snippets for LaTeX☆46Updated 6 years ago
- Browser extension for Follow GitHub Organization☆53Updated 4 years ago
- A linting tool to validate tldr pages☆41Updated last week
- Metarepository for housing all issues and tooling related to mirror.☆26Updated 10 months ago
- ☆66Updated 6 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆25Updated 2 weeks ago
- Like `which`, for dynamic libraries☆40Updated last year
- A curated list of awesome code formatting tools and libraries☆285Updated 3 years ago
- A programming language for designing Turing Machines.☆52Updated 5 years ago
- This is the mirror of pyaxon repository http://bitbucket.org/intellimath/pyaxon☆24Updated 9 years ago