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

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)

78 points

5 years ago

2.

Rupicola: Relational Compilation for Performance-Critical Applications (github.com/mit-plv)

3 points

4 years ago

3.

TiML: A Functional Programming Language with Time Complexity (github.com/mit-plv)

2 points

8 years ago

4.

Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)

2 points

2 years ago

5.

fiat-crypto: Cryptographic Primitive Code Generation by Fiat (github.com/mit-plv)

1 point

rdpintqogeogsaa

4 years ago

6.

Pre-Commit Plugin for Stylelint (github.com/awebdeveloper)

1 point

9 years ago