Hacker News
- Synthesizing Correct-by-Construction Code for Cryptographic Primitives https://github.com/mit-plv/fiat-crypto 2 comments
Linking pages
- Go 1.17 Release Notes - The Go Programming Language https://golang.org/doc/go1.17 482 comments
- Go 1.17 Release Notes - The Go Programming Language https://tip.golang.org/doc/go1.17 118 comments
- Factual inaccuracies of “Facebook Libra is Architecturally Unsound” https://tonyarcieri.com/factual-inaccuracies-of-facebook-libra-is-architecturally-unsound 65 comments
- Software Verification and Analysis Using Z3 – NCC Group Research https://research.nccgroup.com/2021/01/29/software-verification-and-analysis-using-z3/ 40 comments
- Planning Go 1.20 Cryptography Work https://words.filippo.io/dispatches/go1-20/ 35 comments
- Go 1.18 Release Notes - The Go Programming Language https://go.dev/doc/go1.18 35 comments
- Go 1.18 Release Notes - The Go Programming Language https://tip.golang.org/doc/go1.18 19 comments
- The road ahead for MirageOS in 2021 https://hannes.robur.coop/Posts/NGI 14 comments
- Using SPARK to prove 255-bit Integer Arithmetic… | The AdaCore Blog https://blog.adacore.com/using-spark-to-prove-255-bit-integer-arithmetic-from-curve25519 14 comments
- GitHub - isislovecruft/curve25519-dalek: A low-level cryptographic library for point, group, field, and scalar operations on a curve isomorphic to the twisted Edwards curve defined by -x²+y² = 1 - 121665/121666 x²y² over GF(2²⁵⁵ - 19). https://github.com/isislovecruft/curve25519-dalek 14 comments
- The DevX Initiative. Update: The DevX Initiative is no… | by The DevX Initiative | Medium https://medium.com/concordium/the-devx-initiative-by-concordium-f0e2550f8bc3 12 comments
- Functional Geekery Episode 101 – Adam Chlipala – Functional Geekery https://www.functionalgeekery.com/episode-101-adam-chlipala/ 1 comment
- When is program synthesis worthwhile? | weaselhat http://www.weaselhat.com/2022/05/24/when-is-program-synthesis-worthwhile/ 0 comments
- GitHub - coq-community/awesome-coq: A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog] https://github.com/coq-community/awesome-coq 0 comments
- A Wide Reduction Trick https://words.filippo.io/dispatches/wide-reduction/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - mit-plv/fiat-crypto: Cryptographic Primitive Code Generation by Fiat
See how to search.