Hacker GitHub

← All repos

au-ts/cogent

View on GitHub ↗ ★ 185 Isabelle

Cogent Project

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-05-07 · latest 2016-12-08

Mentions per year 3 mentions · busiest year 2016 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …since the C equivalent (if statements and unions) are much harder to verify (and use). [1]: https://github.com/NICTA/cogent/blob/master/impl/ext2/cogent...
    comment by johncolanduoni · 2016-12-08 · in Why Functional Programming Matters (1984) [pdf]
  2. …approach to generating proofs that any code generation maps the cogent code to equivalent c code. https://github.com/NICTA/cogent/tree/master/cogent I've also been looking into how to add resource logic / linear logic to ghc Haskell /…
    comment by carterschonwald · 2016-12-05 · in Measuring GC latencies in Haskell, OCaml, Racket
  3. ▲ 2
    Cogent: Code and Proof Co-Generation
    story by tluyben2 · 2016-05-07 · 0 comments