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 last week
- Edit YAML and see it processed by various processors☆42Updated 3 years ago
- The next generation MBEE (4.0 Execubots) microservices and API hub. This repository hosts MBEE Core Framework (MCF) which will serve a pa…☆14Updated last year
- Knowledge base, Today I Learned, Cheatsheet ... Call this as you want ...☆16Updated last year
- A synthetic intelligence is our name for a truly general, human-level artificial intelligence.☆13Updated 11 years ago
- Chrome/Firefox extension that allows you to easily navigate through the changes in a file that has been edited on GitHub.☆20Updated 5 years ago
- The Data Modelling Tools of the European Space Agency's TASTE toolchain☆17Updated 4 years ago
- A colorizer and set of snippets for LaTeX☆46Updated 6 years ago
- The source code for the beyondgrep.com website☆41Updated 4 months ago
- A tool that builds applications out of gRPC enabled components☆10Updated 2 weeks ago
- A curated list of awesome code formatting tools and libraries☆279Updated 2 years ago
- TextUML compiler and the TextUML Toolkit☆76Updated last month
- ☆16Updated 8 years ago
- Provides tldr hover information for common commands in bash/dockerfiles/powershell files.☆49Updated 4 years ago
- Static Analyzer and Verifier☆48Updated 11 months ago
- Implementation of a simple programming language☆71Updated 7 months ago
- The collection of Github actions for Glo☆17Updated 2 years ago
- An implementation of a SAT solver using the CUDA library☆15Updated 7 years ago
- Peer-to-peer version control system☆95Updated 2 years ago
- The famous merge strategy☆13Updated 8 years ago
- An Extension to manage your tabs and other browser-related features.☆19Updated 8 months ago
- C Compiler written in Kotlin☆13Updated last year
- All about your Github account, public and private activity, watch stars, followers and much more.☆69Updated 6 years ago
- Like `which`, for dynamic libraries☆40Updated 9 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- Browser Extension: preview GitHub notifications with same page pop-overs☆148Updated last month
- A Python language pack for Visual Studio Code☆17Updated 7 years ago
- A repo used for the theme kits☆72Updated 2 years ago
- An extension for managing projects. Feature rich, customizable, automatically finds your projects.☆70Updated 2 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 …☆24Updated 2 years ago