☆15Sep 23, 2026Updated last month
Alternatives and similar repositories for ModelGo
Users that are interested in ModelGo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Benchmark suit for large scale socio-technical datasets in open collaboration☆12Oct 12, 2024Updated 2 years ago
- 🎓 校外轻松访问学术数据库，自动跳转学术网站+SSO自动登录 | Access academic databases off-campus with ease☆29Oct 13, 2026Updated 3 weeks ago
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 5 years ago
- The replication package of <Duplicate Bug Report Detection: How Far Are We?>. Accepted by ACM Transactions on Software Engineering and Me…☆10Nov 28, 2023Updated 2 years ago
- CodexLeaks: Privacy Leaks from Code Generation Language Models in GitHub Copilot☆11Jul 11, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Oct 3, 2022Updated 4 years ago
- A collection of publications that works on code models but beyond focusing on the accuracies.☆12Jun 30, 2023Updated 3 years ago
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- The DITAP Curriculum Update aims to modernize the DITAP training program by auditing and updating its content, resources, and assessment …☆18Updated this week
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- ☆15Jun 20, 2025Updated last year
- ☆16Mar 10, 2026Updated 7 months ago
- System which logs and analyzes arxiv reading activity, using github as a serverless database and processing runtime☆14Jun 3, 2025Updated last year
- Dataset and code corresponding to Associating Natural Language Comment and Source Code Entities (AAAI 2020)☆20Oct 24, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- 📚 用开源的方法来研究开源的现象。（open source methodology for open source phenomena）☆69Dec 12, 2025Updated 10 months ago
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- Simple Raycasting Example in Lean4 using SDL3☆21Oct 9, 2026Updated 3 weeks ago
- Unit Test for LLM Agent Skills☆14Apr 11, 2026Updated 6 months ago
- Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization☆15Apr 5, 2026Updated 7 months ago
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated 4 months ago
- ☆35Sep 7, 2022Updated 4 years ago
- ☆26Nov 14, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ttFlash is a "tiny-tail" flash drive (SSD) that eliminates GC-induced tail latencies by circumventing GC-blocked I/Os with RAIN.☆12Mar 17, 2017Updated 9 years ago
- 自动完成疫情防控日报告打卡☆13Sep 6, 2022Updated 4 years ago
- CHAOSS Data Science Working Group: collaborate and improve open source project health using data science-based approaches☆31Oct 26, 2026Updated last week
- Introduction to data science and engineering by playing GitHub event data☆32Nov 29, 2022Updated 3 years ago
- Python General Framework for Genetic Improvement [Version 2]☆30Nov 28, 2023Updated 2 years ago
- opensource.win website☆21Updated this week
- Code and Data for: Reading Between the Lines: Modeling User Behavior and Costs in AI-Assisted Programming☆33Feb 23, 2024Updated 2 years ago
- 基于SwiftUI 编写的PQ_HDR_to_Gain_Map_HDR转换工具的HDR图片转换器GUI界面☆33Jun 22, 2026Updated 4 months ago
- An open-source license compliance analysis and license recommendation tool.☆30Jul 22, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered …☆17Apr 1, 2025Updated last year
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- Sysmon is an efficient on-line tool integrated in the Linux kernel to monitor system-level application activities such as page access fre…☆19May 26, 2016Updated 10 years ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- A toy example of a verified compiler.☆32Apr 7, 2026Updated 7 months ago
- Build elegant interactive product documentation with gitcourse☆22Aug 30, 2020Updated 6 years ago