Alternatives and similar repositories for operating-systems

Users that are interested in operating-systems are comparing it to the libraries listed below

• klaudiosinani / itermocean
  Deep oceanic blue iTerm theme
  ☆14Updated 4 months ago
• klaudiosinani / oceandock
  Deep oceanic blue Plank dock theme
  ☆32Updated 4 months ago
• nasa / WinSURE
  ☆18Updated 10 years ago
• nasa / scrub
  SCRUB is a platform for orchestration and aggregation of static code analysis tools.
  ☆48Updated 3 weeks ago
• Open-MBEE / mcf
  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
• kyleruss / graphi
  An interactive network analysis & visualization tool
  ☆23Updated 6 years ago
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆30Updated 3 years ago
• nasa / WinASSIST
  ☆10Updated 10 years ago
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 5 years ago
• 13xforever / x86_64-assembly-vscode
  Visual Studio Code package with x86 and x86_64 assembly syntax support
  ☆91Updated 8 months ago
• bmuskalla / vscode-tldr
  Provides tldr hover information for common commands in bash/dockerfiles/powershell files.
  ☆50Updated 5 years ago
• alviano / wasp
  ☆24Updated last month
• CoatiSoftware / SourcetrailPythonIndexer
  Python Indexer for Sourcetrail based on jedi, parso and SourcetrailDB
  ☆97Updated 4 years ago
• JetBrains / Rkernel
  ☆15Updated this week
• slebok / zoo
  Grammar Zoo
  ☆98Updated 7 years ago
• zyedidia / dotvim
  My Vim configuration
  ☆21Updated 2 months ago
• kiedtl / awesome-prompts
  A list of prompts for various shells
  ☆17Updated 6 years ago
• nasa / CertWare
  ☆53Updated 9 years ago
• abstratt / textuml
  TextUML compiler and the TextUML Toolkit
  ☆75Updated 2 months ago
• AI-Now / Synth
  A synthetic intelligence is our name for a truly general, human-level artificial intelligence.
  ☆13Updated 11 years ago
• chrislgarry / Security
  Implementations of security algorithms.
  ☆65Updated 5 years ago
• mre / vscode-snippet
  🐤 A Visual Studio Code extension for cheat.sh. Quickly and easily find code snippets for any language right inside your IDE.
  ☆255Updated 2 months ago
• unicode-org / icu-demos
  sample apps for ICU (formerly icuapps)
  ☆26Updated last year
• git-afsantos / bonsai
  Simplified interface for syntax trees and program models.
  ☆16Updated 3 years ago
• microsoft / checkedc-llvm-test-suite
  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
• ClemsonRSRG / RESOLVE
  RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …
  ☆25Updated last week
• kelvindecosta / alan
  A programming language for designing Turing Machines.
  ☆52Updated 5 years ago
• diffblue / 2ls
  Static Analyzer and Verifier
  ☆51Updated last year
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆22Updated this week
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 4 years ago