Hacker GitHub

← All repos

Copilot-Language/copilot

View on GitHub ↗ ★ 840 Haskell

A stream-based runtime-verification framework for generating hard real-time C code.

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2022-08-27 · latest 2025-11-09

Mentions per year 6 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. Your environment is probably not more constrained than this: https://github.com/Copilot-Language/copilot
    comment by mrkeen · 2025-11-09 · in The Manuscripts of Edsger W. Dijkstra
  2. Very cool, was not aware of either of them. Thanks for sharing https://github.com/copilot-language/copilot https://github.com/augustss/MicroHs
    comment by kaycebasques · 2025-03-04 · in Ask HN: What less-popular systems programming language are you using?
  3. ▲ 1
    NASA Copilot: A stream-based runtime-verification framework
    story by Aaronmacaron · 2024-02-23 · 0 comments
  4. Correct link appears to be https://github.com/Copilot-Language/copilot/tree/master/copi...
    comment by mmastrac · 2022-08-27 · in Copilot: Realtime programming language and runtime verification framework
  5. not maintainer but I think the correct one is this: https://github.com/Copilot-Language/copilot/tree/master/copi...
    comment by ducktective · 2022-08-27 · in Copilot: Realtime programming language and runtime verification framework
  6. …copilot came first (I certainly was) - this repository starts in 2010 with a source code upload: https://github.com/Copilot-Language/copilot/commits/b2fc3456...
    comment by rzzzt · 2022-08-27 · in Copilot: Realtime programming language and runtime verification framework