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

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

EverCrypt: A Verified Crypto Provider

github.com/project-everest

7 years ago

4 points

2.

HACL*, a formally verified cryptographic library written in F*

github.com/project-everest

7 years ago

2 points

3.

EverCrypt: A Verified Crypto Provider Engineered for Multi-Platform Performance

github.com/project-everest

7 years ago

1 points

4.

Show HN: PyTogether, open-source lightweight real-time Python IDE for teachers

8 months ago

5 points

5.

Show HN: PyTogether, open-source lightweight real-time Python IDE for learners

8 months ago

4 points

6.

Show HN: Open-source, lightweight collaborative Python IDE for educators

8 months ago

3 points

7.

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

4 months ago

2 points

8.

Level up the interactivity of your Django app

5 years ago

2 points

9.

Show HN: I made a tool for Claude Code and Codex agents to work as teams

github.com/beadhub

4 months ago

1 points

10.

Show HN: Busted – eBPF tool that monitors what your AI agents send

github.com/barakber

4 months ago

1 points