Alternatives and similar repositories for atc

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

• seL4 / camkes-vm-examples

  View on GitHub
  ☆17Nov 22, 2025Updated 2 months ago
• foxhoundsk / FlexSC

  View on GitHub
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Mar 15, 2020Updated 5 years ago
• seL4 / camkes-vm

  View on GitHub
  Virtual Machine built as a CAmkES component.
  ☆24Aug 15, 2025Updated 5 months ago
• mit-frap / spring17

  View on GitHub
  Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017
  ☆20May 10, 2017Updated 8 years ago
• christiaanb / contranomy

  View on GitHub
  ☆30Mar 2, 2021Updated 4 years ago
• zephyrproject-rtos / openthread

  View on GitHub
  openthread module for Zephyr, not a mirror of the official openthread repository
  ☆31Updated this week
• PaymonTeam / paymoncoin

  View on GitHub
  DAG-based blockchain
  ☆10Apr 20, 2019Updated 6 years ago
• MeGotsThis / Hanabi-AI

  View on GitHub
  This is a hanabi AI bot that can play on http://keldon.net/hanabi/
  ☆11May 29, 2017Updated 8 years ago
• monthadar / FreeBSD-IEEE80211s-simulator

  View on GitHub
  Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.
  ☆11Dec 13, 2011Updated 14 years ago
• loganchien / opencl-examples

  View on GitHub
  ☆13Jan 17, 2022Updated 4 years ago
• akirak / nix-playwright-mcp

  View on GitHub
  A Playwright MCP package in Nix
  ☆17Jan 16, 2026Updated 3 weeks ago
• laithsakka / Grafter

  View on GitHub
  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.
  ☆11Aug 13, 2023Updated 2 years ago
• mrexodia / SimpleAutoItCrypter

  View on GitHub
  Simple AutoIt crypter.
  ☆11Mar 3, 2017Updated 8 years ago
• ds2-lab / ALPS

  View on GitHub
  ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)
  ☆13Jun 20, 2024Updated last year
• hackslashX / ADB-Fastboot-Installer-for-Windows

  View on GitHub
  A small ADB / Fastboot installer for Windows that automatically fetches the latest version from this Github Repository
  ☆12Jul 19, 2021Updated 4 years ago
• phfbertoleti / pulse_counter_project_zephyr

  View on GitHub
  Pulse counter project using Zephyr RTOS
  ☆12Sep 13, 2024Updated last year
• sntran / rfetch

  View on GitHub
  Rclone running in Deno
  ☆12Updated this week
• profmadden / pstools

  View on GitHub
  A simple C wrapper library, for generating PostScript files.
  ☆11Oct 24, 2020Updated 5 years ago
• zephyrproject-rtos / open-amp

  View on GitHub
  open-amp module for zephyr, this is not an official mirror of the open-amp repo
  ☆11Nov 6, 2025Updated 3 months ago
• kennytm / async-ctrlc

  View on GitHub
  `async-ctrlc` is an async wrapper of the `ctrlc` crate in Rust
  ☆15May 30, 2020Updated 5 years ago
• cota / chanfd

  View on GitHub
  Tiny C library for inter-thread/process communication via channels. Linux-only.
  ☆12Feb 21, 2016Updated 9 years ago
• mit-pdos / 6.826-2019-labs

  View on GitHub
  Lab assignments for 6.826
  ☆11Nov 8, 2019Updated 6 years ago
• YosysHQ / sby-gui

  View on GitHub
  GUI for SymbiYosys
  ☆17Oct 13, 2025Updated 4 months ago
• mannaandpoem / AGIDreamFactory

  View on GitHub
  Building a more intelligent world.
  ☆11Apr 29, 2024Updated last year
• argos-research / fpga-mmu

  View on GitHub
  internship
  ☆10Sep 1, 2017Updated 8 years ago
• BigRedEye / poorprof

  View on GitHub
  Fast poor man's profiler for Linux
  ☆12Jun 8, 2023Updated 2 years ago
• verilog-to-routing / libsdcparse

  View on GitHub
  ☆12Feb 6, 2026Updated last week
• zenny-chen / Machine-Learning-resource-collection

  View on GitHub
  我收藏的机器学习相关文集
  ☆13Feb 4, 2026Updated last week
• zodiacon / winsta

  View on GitHub
  Show Window Stations, Desktops and top level windows
  ☆17Jun 10, 2023Updated 2 years ago
• kuopinghsu / biriscv

  View on GitHub
  biRISC-V - 32-bit dual issue RISC-V CPU Software Environment
  ☆15Jun 24, 2021Updated 4 years ago
• shakreiner / windbg-scripts

  View on GitHub
  ☆11Apr 24, 2020Updated 5 years ago
• Luos-io / luos_ros2

  View on GitHub
  ROS 2 package for Luos-based robots with ROS 1 backward compatibility
  ☆14May 31, 2021Updated 4 years ago
• lmangani / embedded-db-benchmarks

  View on GitHub
  Simple, Non authoritative Benchmarks for embedded databases running in Github Actions
  ☆11Jul 11, 2024Updated last year
• flutterwireless / BOSSA-Arduino

  View on GitHub
  BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.
  ☆12Mar 17, 2015Updated 10 years ago
• hisilicon / kernel-dev

  View on GitHub
  ☆15Mar 19, 2025Updated 10 months ago
• tencent-ailab / Arena

  View on GitHub
  ☆10Mar 10, 2021Updated 4 years ago
• ttinies / sc2simulator

  View on GitHub
  design, run and test desired situations using human, AI, bot or computer control
  ☆11Oct 9, 2018Updated 7 years ago
• jmillikin / anansi

  View on GitHub
  ☆10Apr 27, 2022Updated 3 years ago
• lpuls / OnlineJudgement

  View on GitHub
  This is an online judgement system using Docker with Python-Flask framework
  ☆11Feb 22, 2017Updated 8 years ago