Search: github.com/project-everest | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

EverCrypt: A Verified Crypto Provider (github.com/project-everest)

4 points

7 years ago

2.

HACL*, a formally verified cryptographic library written in F* (github.com/project-everest)

2 points

7 years ago

3.

EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance (github.com/project-everest)

1 point

7 years ago

4.

Show HN: PyTogether, open-source lightweight real-time Python IDE for teachers (pytogether.org)

5 points

7 months ago

5.

Show HN: PyTogether, open-source lightweight real-time Python IDE for learners (pytogether.org)

4 points

8 months ago

6.

Show HN: Open-source, lightweight collaborative Python IDE for educators (pytogether.org)

3 points

8 months ago

7.

Show HN: OxyJen – Java framework to orchestrate LLMs in a graph-style execution

2 points

3 months ago

8.

Level up the interactivity of your Django app

2 points

5 years ago

9.

Show HN: I made a tool for Claude Code and Codex agents to work as teams (github.com/beadhub)

1 point

3 months ago

10.

Show HN: Busted – eBPF tool that monitors what your AI agents send (github.com/barakber)

1 point

4 months ago