google-research / r_u_sureView external linksLinks
Code accompanying the paper "R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents"
☆19Jan 14, 2026Updated last month
Alternatives and similar repositories for r_u_sure
Users that are interested in r_u_sure are comparing it to the libraries listed below
Sorting:
- Apple PCC research☆16Mar 14, 2025Updated 11 months ago
- ☆22Mar 1, 2022Updated 3 years ago
- C Library for Apple Firmware (Amalgam)☆28Feb 28, 2022Updated 3 years ago
- Official implementation of AsmDepictor, "A Transformer-based Function Symbol Name Inference Model from an Assembly Language for Binary Re…☆29Apr 30, 2024Updated last year
- Higher-order, higher-order automatic differentiation☆30Jan 24, 2020Updated 6 years ago
- VATA Tree Automata Library☆34Feb 3, 2026Updated last week
- Show MS Windows style activation dialog on my screen.☆37May 27, 2022Updated 3 years ago
- ☆20Aug 10, 2025Updated 6 months ago
- Proof-of-concept implementation for the paper "Homomorphic Encryption for Large Integers from Nested Residue Number Systems", presented a…☆27Jun 4, 2025Updated 8 months ago
- ☆12Nov 22, 2024Updated last year
- ☆49May 14, 2021Updated 4 years ago
- GPUReplay, ASPLOS 2022☆41Feb 21, 2022Updated 3 years ago
- iOS 5.x iBoot fun for the whole family!☆43Apr 23, 2020Updated 5 years ago
- iOS firmware key decrypter☆45Aug 17, 2023Updated 2 years ago
- ☆56Apr 25, 2025Updated 9 months ago
- ☆15Apr 26, 2025Updated 9 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- The source code repository for the FactorBase system☆10Mar 17, 2024Updated last year
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- Patches iTunes 12+ to fix some issues restoring Custom Firmwares and Using Certain Jailbreak tools☆11Nov 23, 2017Updated 8 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- IT 大V韭菜恩爱史☆11Dec 7, 2019Updated 6 years ago
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆13Aug 13, 2024Updated last year
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- Stop! Don't panic, you can still fix this...☆11Aug 3, 2021Updated 4 years ago
- ☆10Aug 16, 2019Updated 6 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 2 years ago
- do not debug me☆11Jun 26, 2019Updated 6 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- bilibili弹幕机核心组件☆11Jul 7, 2025Updated 7 months ago
- Fun with iOS☆13Aug 3, 2013Updated 12 years ago
- A simple demo that shows how WebWorkers can be used in Kotlin/JS☆10May 21, 2021Updated 4 years ago
- Proof-of-concept LLVM fork to speculatively inline objc_msgSend☆16Dec 11, 2022Updated 3 years ago
- ☆10Aug 25, 2020Updated 5 years ago