Search: github.com/hacspec | Heykuki News

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)

6 points

2 years ago

2.

Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec (github.com/cryspen)

135 points

2 years ago

3.

Zero-config Hacky Hackpecker setup (github.com/fiduchi)

3 points

5 years ago

4.

Show HN: HeatSpectra: Realtime 3D Surface Heat Simulation (github.com/tsun3doku)

6 points

a month ago

5.

Show HN: Duplicate Google Calendars (github.com/hackpacific)

4 points

10 years ago

6.

XDoor: A door locking system that uses SSH-keys for authentication (github.com/xHain-hackspace)

3 points

3 years ago

7.

Leigh Hackspace Collapsable Arcade Cabinet (github.com/leigh-hackspace)

2 points

2 years ago

8.

Collection of Posters for your Hackspace (github.com/PotteriesHackspace)

1 point

13 years ago

9.

Show HN: Fastest way to use Twilio with Python. (github.com/RobSpectre)

2 points

14 years ago

10.

Open Source Hackspace Website (github.com/PotteriesHackspace)

4 points

13 years ago

11.

Arion – Watcher and runner for Hspec tests

1 point

11 years ago

12.

Ask HN: Which 3D Printer for Product Design Prototyping in 2019?

11 points

7 years ago

13.

Phallanxpress: Backbone API for Wordpress (github.com/aerstudio)

1 point

14 years ago

14.

$100 to upgrade Fresh IDE for ePub TUI reading

4 points

11 days ago

15.

Show HN: Antimemetic message that escapes screen capture (fx.leftium.com)

3 points

10 days ago