Highlights
- Pro
Pinned Loading
-
zed-industries/zed
zed-industries/zed PublicCode at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
-
JetBrains-Research/HumanEval-Dafny
JetBrains-Research/HumanEval-Dafny PublicTranslating humaneval into dafny
-
JetBrains-Research/verified-cogen
JetBrains-Research/verified-cogen PublicRepo for PLAN's verified code generation project
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.