Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wiml
on April 6, 2021
|
parent
|
context
|
favorite
| on:
Wuffs’ PNG image decoder
Another tool along these lines is Galois' Ivory language
https://ivorylang.org/
, a Haskell-embedded language for writing safe/reliable C.
matu3ba
on April 6, 2021
|
next
[–]
You might be interested in cakeml and cogent. What Safety Integrity Level can ivory guarantee? level2?
wiml
on April 16, 2021
|
parent
|
next
[–]
CakeML is interesting, but I don't think any language can guarantee a SIL.
moonchild
on April 6, 2021
|
prev
[–]
Another one is verifast.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
