Search: github.com/mit-plv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives

github.com/mit-plv

5 years ago

78 points

2.

Rupicola: Relational Compilation for Performance-Critical Applications

github.com/mit-plv

4 years ago

3 points

3.

TiML: A Functional Programming Language with Time Complexity

github.com/mit-plv

8 years ago

2 points

4.

Kami: A Platform for Hardware Specification and Verification

github.com/mit-plv

2 years ago

2 points

5.

fiat-crypto: Cryptographic Primitive Code Generation by Fiat

github.com/mit-plv

4 years ago

rdpintqogeogsaa

1 points

6.

Pre-Commit Plugin for Stylelint

github.com/awebdeveloper

9 years ago

1 points

7.

Show HN: Ember, a native iOS Hacker News reader I built around accessibility

github.com/DatanoiseTV

2 days ago

100 points