Alternatives and similar repositories for mi_proj_old

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

• seL4 / sel4runtime

  View on GitHub
  A minimal runtime for seL4 applications.
  ☆14Mar 17, 2025Updated 10 months ago
• primait / jwks_client

  View on GitHub
  Prima JWKS-sync client implementation for Auth0
  ☆10Updated this week
• Mabuchin / netboard

  View on GitHub
  RealtimeNetworkMonitorDashBoard
  ☆11Dec 7, 2016Updated 9 years ago
• delta-incubator / dynamodb-lock-rs

  View on GitHub
  Distributed lock backed by Dynamodb
  ☆11Dec 7, 2023Updated 2 years ago
• norio-nomura / high-sierra-vm-installer-fix

  View on GitHub
  Fix for creating macOS High Sierra VMs using VMware Fusion 8.x
  ☆13Jun 8, 2017Updated 8 years ago
• garypen / deduplicate

  View on GitHub
  asynchronous deduplicator with optional LRU caching
  ☆12Feb 8, 2026Updated last week
• tonyarnold / virtuedesktops

  View on GitHub
  Discontinued virtual desktop manager for Apple’s Mac OS X 10.4 "Tiger".
  ☆18Sep 23, 2009Updated 16 years ago
• yuroyoro / Japanese_Translation_of_Monads_are_Elephants

  View on GitHub
  Japanese Translation of Monads are Elephants
  ☆11Oct 19, 2011Updated 14 years ago
• euske / openssh-jman

  View on GitHub
  Japanese translation of OpenSSH manual pages
  ☆13Oct 15, 2016Updated 9 years ago
• model-checking / kani-github-action

  View on GitHub
  This repository provides a GitHub Action for running the Kani Rust Verifier in CI.
  ☆11May 13, 2025Updated 9 months ago
• subroh0508 / otonashi

  View on GitHub
  SPARQL client for Kotlin
  ☆10May 8, 2019Updated 6 years ago
• practical-scheme / Gauche-compat-sicp

  View on GitHub
  Compatibility features to run the code in SICP with Gauche
  ☆11Jun 29, 2024Updated last year
• KeenS / gtk-examples

  View on GitHub
  ☆12Jul 23, 2023Updated 2 years ago
• render-examples / rust-graphql

  View on GitHub
  Rust GraphQL Server Example with Juniper and Rocket
  ☆11Jun 6, 2022Updated 3 years ago
• monaqa / satysfi-easytable

  View on GitHub
  A SATySFi package to build simple tables.
  ☆17Apr 30, 2022Updated 3 years ago
• satoshin21 / JUNSON

  View on GitHub
  decoding and encoding JSON library for Swift3 - more easily, or more strictly.
  ☆11Dec 15, 2023Updated 2 years ago
• vxcall / rust-dll-bp

  View on GitHub
  A boiler plate code to create dynamic link library in rust.
  ☆10Dec 21, 2021Updated 4 years ago
• silentsokolov / spark-udf-rust

  View on GitHub
  An example for using the Rust language to write Spark UDFs
  ☆13Jun 22, 2021Updated 4 years ago
• purerl / purescript-erl-process

  View on GitHub
  purerl bindings to basic Erlang process functionality
  ☆13Aug 31, 2022Updated 3 years ago
• hrosiak / catima

  View on GitHub
  energy loss calculator based on atima
  ☆11Jul 9, 2025Updated 7 months ago
• nezuQ / PaperTester

  View on GitHub
  Excelテスト仕様書からIE/EXE自動操作用のVBScriptコードを自動生成する。
  ☆14Feb 12, 2015Updated 11 years ago
• saturday06 / webusb-felica

  View on GitHub
  ☆13Apr 17, 2024Updated last year
• akiradeveloper / MikanOS.rs

  View on GitHub
  MikanOS in Rust
  ☆11Apr 11, 2021Updated 4 years ago
• bargees / barge-xhyve

  View on GitHub
  Barge running on xhyve hypervisor
  ☆15Jun 7, 2022Updated 3 years ago
• pojiro / nerves_system_f3rp70

  View on GitHub
  ☆11Sep 3, 2025Updated 5 months ago
• rust-lang / miri-test-libstd

  View on GitHub
  Testing the Rust standard library with Miri, continuously
  ☆15Feb 4, 2026Updated last week
• Cryptonomic / ImageProxy

  View on GitHub
  Image Proxy for use with Wallets
  ☆13Mar 14, 2024Updated last year
• twitchyliquid64 / seeed-erpc-rs

  View on GitHub
  Drivers for Seeed Studio's eRPC-based wifi protocol
  ☆12Jun 28, 2025Updated 7 months ago
• seL4 / seL4-CAmkES-L4v-dockerfiles

  View on GitHub
  Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
  ☆14Aug 18, 2025Updated 5 months ago
• kinogmt / docker-containers

  View on GitHub
  This repository is obsolete. Use kinogmt/centos-ssh.git or kingomt/kerlotp.git instead.
  ☆12Aug 4, 2017Updated 8 years ago
• stevesparks / OutlineViewDiffableDataSource

  View on GitHub
  Cocoa NSOutlineView version of diffable data sources in iOS 13
  ☆12Jan 21, 2021Updated 5 years ago
• portworx / overlayfs

  View on GitHub
  ☆12Jun 5, 2015Updated 10 years ago
• ClusterHQ / zfs-binaries

  View on GitHub
  Some ZFS kernel modules and binaries, automatically built from CoreOS stable/beta/alpha channels
  ☆13Apr 2, 2016Updated 9 years ago
• VirtusLab / coursier-m1

  View on GitHub
  A small repo to release coursier using self-hosted Mac M1 runner
  ☆10Updated this week
• zeam-vm / logistic_map

  View on GitHub
  ☆15Jul 5, 2019Updated 6 years ago
• tanakh / axum-yew-shuttle-realworld-example-app

  View on GitHub
  Starter kit for new RealWorld framework implementations
  ☆14Dec 16, 2022Updated 3 years ago
• ynaka81 / in_memory_db_comparison

  View on GitHub
  In-memory DB performance comparison between python, Go, and Rust
  ☆10Apr 12, 2020Updated 5 years ago
• chikoski / rust-handson

  View on GitHub
  ☆13Mar 5, 2023Updated 2 years ago
• nikomatsakis / rusty-peg

  View on GitHub
  ☆17Oct 1, 2015Updated 10 years ago