echronos/echronos-proofs external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

echronos/echronos-proofs

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/echronos/echronos-proofs)

Close

echronos / echronos-proofsView on GitHubMore

• External links
• Readme badge

Isabelle/HOL proofs about the eChronos RTOS

☆11Jun 13, 2017Updated 8 years ago

Alternatives and similar repositories for echronos-proofs

Users that are interested in echronos-proofs are comparing it to the libraries listed below

• malonnnn / ServerConfig

  View on GitHub
  ☆10Aug 29, 2018Updated 7 years ago
• isabelle-utp / utp-main

  View on GitHub
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆38Jan 29, 2024Updated 2 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• seahorn / verify-c-common

  View on GitHub
  ☆20May 30, 2024Updated last year
• myriadrf / Parallella-RF

  View on GitHub
  300 MHz to 3800 MHz TCVR daughter card for the Parallella board
  ☆18Aug 28, 2014Updated 11 years ago
• ldv-klever / klever

  View on GitHub
  Read-only mirror of the Klever Git repository
  ☆25Feb 12, 2026Updated 2 weeks ago
• echronos / echronos

  View on GitHub
  The eChronos real-time operating system
  ☆178Dec 30, 2019Updated 6 years ago
• alvarezleonardo / Material_DES

  View on GitHub
  Material extra
  ☆14Dec 6, 2017Updated 8 years ago
• jlouis / erlangnode

  View on GitHub
  Run an OCaml program as an erlang node
  ☆29Mar 25, 2016Updated 9 years ago
• davidlazar / llvm-semantics

  View on GitHub
  Formal semantics of LLVM IR in K
  ☆45Jun 25, 2015Updated 10 years ago
• david-hoffman / Igor-Data-Analysis

  View on GitHub
  Igor Pro data analysis procedures
  ☆15Sep 26, 2020Updated 5 years ago
• hhu-stups / prob-rodinplugin

  View on GitHub
  (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
  ☆19Updated this week
• 404craft / 101max

  View on GitHub
  maxscript fun
  ☆10Nov 22, 2019Updated 6 years ago
• sussman / rovers-day-out

  View on GitHub
  Three hundred years ago, the Brazilian Space Agency discovered a rocky exoplanet only 38 light years from Earth. With a surface temperatu…
  ☆10Feb 19, 2016Updated 10 years ago
• frasermclean / AMX-IP-Socket-Manager

  View on GitHub
  AMX NetLinx IP Socket Manager
  ☆13May 2, 2017Updated 8 years ago
• seancummins / dockerized_symcli

  View on GitHub
  Dockerized EMC Solutions Enabler
  ☆10Jul 7, 2018Updated 7 years ago
• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• laurencebarker / odin-SDR-console

  View on GitHub
  ODIN console files, for remote control of PowerSDR
  ☆13Aug 11, 2021Updated 4 years ago
• tachcard / watchdog

  View on GitHub
  ☆10Apr 9, 2015Updated 10 years ago
• nothinglabs / chainringgen

  View on GitHub
  ☆10May 4, 2019Updated 6 years ago
• model-checking / cbmc-starter-kit

  View on GitHub
  The CBMC starter kit makes it easy to add CBMC verification to a software project.
  ☆50Feb 1, 2026Updated 3 weeks ago
• Armin-Montigny / MCDC

  View on GitHub
  Create minimum MCDC test sets for a boolean expression
  ☆46Feb 15, 2021Updated 5 years ago
• LeastAuthority / haskell-magic-wormhole

  View on GitHub
  Magic Wormhole for Haskell
  ☆11Apr 23, 2024Updated last year
• fm-polimi / zot

  View on GitHub
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Jan 11, 2021Updated 5 years ago
• tsloughter / OpaDo

  View on GitHub
  Opa port of the TodoMVC app
  ☆24Mar 11, 2012Updated 13 years ago
• edwardjkim / astroclass

  View on GitHub
  A Hybrid Ensemble Learning Approach to Star-galaxy Classification
  ☆10Sep 3, 2015Updated 10 years ago
• perl6 / nqp-rx

  View on GitHub
  (ARCHIVE) nqp-rx
  ☆37Sep 25, 2014Updated 11 years ago
• mfferreira / TiAltBeacon

  View on GitHub
  AltBeacon module for Appcelerator Titanium
  ☆16Sep 26, 2014Updated 11 years ago
• silentbicycle / lua-memcached

  View on GitHub
  A Lua client for memcached, with optional non-blocking mode.
  ☆23Jul 1, 2012Updated 13 years ago
• topfunky / cappuccino-couchdb

  View on GitHub
  A class for working with CouchDB documents from Cappuccino/Objective-J
  ☆65Oct 12, 2009Updated 16 years ago
• mensi / cydra

  View on GitHub
  Code/Project hosting platform
  ☆32Mar 19, 2014Updated 11 years ago
• Echsecutor / coffee

  View on GitHub
  coffee stains package for latex
  ☆12Dec 7, 2020Updated 5 years ago
• ywx2012 / ossrc

  View on GitHub
  《穿越操作系统迷雾》源码
  ☆11Jan 19, 2025Updated last year
• poettering / casync

  View on GitHub
  Content-Addressable Data Synchronization Tool
  ☆11Feb 28, 2019Updated 7 years ago
• erkyrath / i7-exts

  View on GitHub
  Miscellaneous Inform 7 extensions that I've written
  ☆11Mar 20, 2021Updated 4 years ago
• ligurio / molly

  View on GitHub
  Framework for distributed system's verification, with fault injection.
  ☆10Jan 6, 2026Updated last month
• joshbressers / badge

  View on GitHub
  An open source badge
  ☆10Oct 8, 2025Updated 4 months ago
• joshuaballoch / talent-vs-luck-recreated

  View on GitHub
  ☆10Mar 14, 2018Updated 7 years ago
• Tathagatd96 / Deep-Autoencoder-using-Tensorflow

  View on GitHub
  ☆11Jan 16, 2021Updated 5 years ago