Search: github.com/hacspec | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Hax: Translate a subset of Rust into formal languages

github.com/hacspec

2 years ago

6 points

2.

Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec

github.com/cryspen

2 years ago

135 points

3.

Zero-config Hacky Hackpecker setup

github.com/fiduchi

5 years ago

3 points

4.

Show HN: Persona.js – a vanilla-JS agent UI library with native WebMCP (MIT)

persona-chat.dev

2 days ago

12 points