Free GRE Practice Environment (awa-analytical-essay-writing-ets-issue-argument-pool-calculator-gre-exercise)
☆13Sep 30, 2022Updated 3 years ago
Alternatives and similar repositories for GRExercise
Users that are interested in GRExercise are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [JJIT2018] Official repository for "Braille to Text Translation for Bengali Language: A Geometric Approach"☆10Nov 6, 2025Updated 8 months ago
- ☆17Jun 26, 2023Updated 3 years ago
- ☆16Jan 23, 2026Updated 5 months ago
- ☆13Dec 4, 2018Updated 7 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆17Mar 26, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Official implementation of the NeurIPS 2019 paper Domes to Drones: Self-Supervised Active Triangulation for 3D Human Pose Reconstruction☆12Sep 23, 2022Updated 3 years ago
- Power of GloVe word embeddings in Android☆15Apr 12, 2024Updated 2 years ago
- ☆12Mar 3, 2022Updated 4 years ago
- Collection of resources for your entire study abroad journey.☆14Feb 11, 2022Updated 4 years ago
- An Opinionated Formatter for Verus☆20Updated this week
- Guess GRE vocab as you browse news sites.☆15Oct 1, 2019Updated 6 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆20Aug 28, 2024Updated last year
- A Complete Package for Processing OMR Answer Sheet☆11Oct 26, 2020Updated 5 years ago
- ☆13Jan 18, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Low resource machine translation using Transformers and Iterative Back translation☆10Apr 24, 2020Updated 6 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 7 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆45Apr 3, 2026Updated 3 months ago
- [WIP] Behold, semantic-search, built over sentence-transformers to make it easy for search engineers to evaluate, optimise and deploy mod…☆15Apr 21, 2023Updated 3 years ago
- Python SDK for Galileo's NLP and CV Studio.☆17Jun 25, 2026Updated last week
- ☆15Jan 4, 2024Updated 2 years ago
- Artefacts for evaluating user-intent-formalization (translating natural language intent to formal specifications) in different languages☆27Mar 18, 2026Updated 3 months ago
- Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"☆47Jan 25, 2022Updated 4 years ago
- ☆13Jul 26, 2021Updated 4 years 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.
- ☆20Dec 16, 2024Updated last year
- nodejs module for searching google scholar☆20Sep 9, 2020Updated 5 years ago
- High level overview of Rust☆19Oct 13, 2021Updated 4 years ago
- A curated list of awesome papers that study energy efficiency for mobile applications.☆23Apr 11, 2023Updated 3 years ago
- TDD-Bench-Verified is a new benchmark for generating test cases for test-driven development (TDD)☆31Jun 18, 2026Updated 2 weeks ago
- Yet another Rust MIR analysis tool☆16Aug 22, 2025Updated 10 months ago
- A web based tool for visualization of the forward and reverse modes of automatic differentiation☆21May 2, 2024Updated 2 years ago
- 🔮Reasoning for Safer Code Generation; 🥇Winner Solution of Amazon Nova AI Challenge 2025☆39Aug 24, 2025Updated 10 months ago
- A multi-language tokenizer for extracting identifiers from source code.☆24Apr 27, 2022Updated 4 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.
- ☆22Apr 29, 2020Updated 6 years ago
- ☆18Sep 26, 2020Updated 5 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆41Apr 9, 2023Updated 3 years ago
- Data System for Optimized Deep Learning Model Selection☆21Nov 17, 2022Updated 3 years ago
- AI Assistant for Building Reliable, High-performing and Fair Multilingual NLP Systems☆48Aug 19, 2022Updated 3 years ago
- Siamese: a scalable code clone search engine☆38Jul 11, 2024Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆47May 12, 2025Updated last year