Alternatives and similar repositories for jos

Users that are interested in jos are comparing it to the libraries listed below

• komukomo / jos

  View on GitHub
  JOS - MIT 6.828 Operating System Engineering 2016
  ☆71Mar 4, 2017Updated 8 years ago
• Jiang-HB / ZeroMatch

  View on GitHub
  Zero-shot RGB-D Point Cloud Registration with Pre-trained Large Vision Model
  ☆17Mar 15, 2025Updated 11 months ago
• alchemystar / hero

  View on GitHub
  用c语言写的dbproxy
  ☆36Aug 4, 2021Updated 4 years ago
• YangZhou1997 / SafeBricks

  View on GitHub
  This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…
  ☆10Feb 3, 2020Updated 6 years ago
• Fanfwe / tinytcpip

  View on GitHub
  Very simple and stupid TCP/IP stack written in C
  ☆10Mar 25, 2016Updated 9 years ago
• w32zhong / BTreeimplementation

  View on GitHub
  CSC 541 Assignment 4 B-Trees Introduction The goals of this assignment are two-fold: To introduce you to searching data on disk using B…
  ☆11May 10, 2015Updated 10 years ago
• semicircle / gozhszht

  View on GitHub
  Go 汉语简繁转换
  ☆11Oct 30, 2014Updated 11 years ago
• pierre94 / kafka-client-prometheus-collector

  View on GitHub
  kafka client prometheus collector
  ☆10Mar 22, 2021Updated 4 years ago
• throne-developer / llamavm

  View on GitHub
  Implementation of lua virtual machine
  ☆11Jan 22, 2018Updated 8 years ago
• bigbes / btree

  View on GitHub
  btree written in c
  ☆10Feb 26, 2015Updated 10 years ago
• uli2k / ulios2

  View on GitHub
  A Micro Kernel Operating System
  ☆12Nov 23, 2019Updated 6 years ago
• mrb / idris-ruby

  View on GitHub
  Yes, really!
  ☆11May 8, 2015Updated 10 years ago
• dsturnbull / stack_cpu

  View on GitHub
  Stack machine simulation
  ☆13Sep 25, 2012Updated 13 years ago
• tiqwab / xv6-x86_64

  View on GitHub
  xv6 ported to x86_64.
  ☆10Jan 9, 2021Updated 5 years ago
• qqvirus / WRK

  View on GitHub
  Windows Research Kernel
  ☆14Apr 1, 2016Updated 9 years ago
• chrisosaurus / linear_hash

  View on GitHub
  linear probing hash table implementation written in C (c99)
  ☆10Jul 8, 2018Updated 7 years ago
• Chriscbr / scheme-to-wasm

  View on GitHub
  Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust
  ☆11May 23, 2020Updated 5 years ago
• crazyss / hypervisor_last

  View on GitHub
  upstream development the newest feature about HV.
  ☆10Sep 12, 2021Updated 4 years ago
• projecteru2 / elb

  View on GitHub
  Eru load balancer
  ☆10Sep 25, 2019Updated 6 years ago
• Distrotech / ipvsadm

  View on GitHub
  Mirror of http://svn.linuxvirtualserver.org/repos/ipvsadm
  ☆12Dec 30, 2015Updated 10 years ago
• HOL-Theorem-Prover / hol-guidebook

  View on GitHub
  HOL Guidebook
  ☆12Oct 11, 2024Updated last year
• wyfcyx / rCore-Tutorial

  View on GitHub
  Tutorial for rCore OS step by step (3rd edition)
  ☆10Apr 24, 2021Updated 4 years ago
• proglangclass / interpreter

  View on GitHub
  Language built during the Programming Language Masterclass.
  ☆24Mar 19, 2014Updated 11 years ago
• senchzzZ / ddd-order-demo

  View on GitHub
  ☆10Jan 13, 2025Updated last year
• mit-pdos / 6.826-2019-labs

  View on GitHub
  Lab assignments for 6.826
  ☆11Nov 8, 2019Updated 6 years ago
• damonchen / flask-websocket

  View on GitHub
  simple websocket for Flask
  ☆12Jan 6, 2017Updated 9 years ago
• CGuangyan-BIT / MRA

  View on GitHub
  [ICCV 2023] Rethinking Point Cloud Registration as Masking and Reconstruction
  ☆10Aug 14, 2023Updated 2 years ago
• wklaebe / bind9

  View on GitHub
  bind9, forked from git://git.debian.org/~lamont/bind9.git, plus DNS Dampening patch
  ☆15May 12, 2014Updated 11 years ago
• kfl / webserver-functor

  View on GitHub
  Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.
  ☆14Feb 26, 2014Updated 11 years ago
• oska874 / process-scheduling-in-linux

  View on GitHub
  本文译自 University of Edinburgh 的 Volker Seeker 的 Process Scheduling in Linux ， 介绍了 Linux 3.1 的任务调度机制。
  ☆11Aug 11, 2016Updated 9 years ago
• skivm / ski

  View on GitHub
  SKI virtual machine for testing concurrency bugs
  ☆13Nov 25, 2015Updated 10 years ago
• jrmi / byemail

  View on GitHub
  Complete stack for a personnal mail system including SMTP receiver, sender, webmail, mailing list, ...
  ☆12May 5, 2019Updated 6 years ago
• akshayrajput / compiler

  View on GitHub
  C minus compiler from grammar given in Kenneth C louden's introduction to compiler.
  ☆11Aug 3, 2020Updated 5 years ago
• shadowmint / nwidget

  View on GitHub
  UI library for pyglet and cocos2D in python.
  ☆15Jun 18, 2013Updated 12 years ago
• costinm / hbone

  View on GitHub
  Istio inspired 'http based onverlay network env'.
  ☆14Jan 5, 2024Updated 2 years ago
• thautwarm / goto.py

  View on GitHub
  modern implementation of real goto/label statements in python 3.5+.
  ☆13Feb 9, 2021Updated 5 years ago
• laruence / php-apc

  View on GitHub
  Alternative PHP Cache
  ☆22Mar 10, 2013Updated 12 years ago
• Dcraftbg / dim

  View on GitHub
  Simple and portable vim like editor written in C
  ☆11Sep 3, 2025Updated 5 months ago
• lishuhuakai / TinyYACC

  View on GitHub
  用cpp编写的一个实现了最核心功能的YACC,供练习使用.
  ☆11Aug 28, 2017Updated 8 years ago