☆85May 16, 2026Updated this week
Alternatives and similar repositories for QED
Users that are interested in QED are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11May 27, 2021Updated 4 years ago
- ☆14Oct 8, 2016Updated 9 years ago
- A MATLAB Toolbox for Solving Markov Decision Problems with Dynamic Programming☆35Nov 2, 2021Updated 4 years ago
- something for paper agent☆11Dec 18, 2024Updated last year
- ☆113Apr 22, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Solution Manual for Roman Vershynin's High-Dimensional Probability☆26Jul 26, 2024Updated last year
- [ISBI 2024] Semi-supervised Medical Image Segmentation Method Based on Cross-pseudo Labeling Leveraging Strong and Weak Data Augmentation…☆16Feb 23, 2025Updated last year
- Use the Finite Difference method to price European, American and Bermudan options.☆23Aug 5, 2020Updated 5 years ago
- Formalisation of the Kelley-Meka bound on Roth numbers☆23Updated this week
- [NeurIPS2023] "Selectivity Drives Productivity: Efficient Dataset Pruning for Enhanced Transfer Learning" by Yihua Zhang*, Yimeng Zhang*,…☆14Oct 12, 2023Updated 2 years ago
- ☆27Oct 25, 2019Updated 6 years ago
- General neural tactic for Lean 4☆29Updated this week
- Plugin for creating block-level containers with classes for Joplin notes.☆12Nov 18, 2021Updated 4 years ago
- automated fgo gamescript☆27Mar 20, 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.
- SuperCLUE高考作文机器自动阅卷系统☆19Jun 8, 2023Updated 2 years ago
- The Official PyTorch implementation of CorrFill: Enhancing Faithfulness in Reference-based Inpainting with Correspondence Guidance in Dif…☆16Jan 14, 2025Updated last year
- ☆32Feb 6, 2026Updated 3 months ago
- ☆21Dec 3, 2025Updated 5 months ago
- OrqueIO main source code repository☆25Apr 24, 2026Updated 3 weeks ago
- Streamlined version of the 4dvarnet algorithm: probably a good starting point to understand and applying it☆16Mar 23, 2026Updated last month
- ☆11Jan 10, 2019Updated 7 years ago
- [TMLR 2026 J2C Certification] Previously at GenBio ICML 2025☆19Apr 28, 2026Updated 3 weeks ago
- ☆34May 7, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A ROS 2 workspace to support robot learning research within the ROS 2 ecosystem.☆12Jul 4, 2024Updated last year
- JSON Schemas for the use with the VD(M)A 5050 protocol☆10Mar 21, 2022Updated 4 years ago
- A Text2SQL benchmark for evaluation of Large Language Models☆43Apr 26, 2026Updated 3 weeks ago
- C# implementation of some mathematical solutions to problems in 3D world generation☆10Oct 2, 2021Updated 4 years ago
- Isolates any given process using the unshare system call. Suited for ROS, though can work for any process.☆13Jan 31, 2024Updated 2 years ago
- Plot on OpenStreetMap using Makie☆13Jul 10, 2024Updated last year
- 微分方程数值解课件☆22Mar 26, 2021Updated 5 years ago
- ☆19Oct 12, 2023Updated 2 years ago
- Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).☆19Dec 19, 2025Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The repo contains the cheat-sheet for programming.☆11Apr 14, 2026Updated last month
- ☆11Apr 22, 2024Updated 2 years ago
- Structures and algorithms for Multi-Agent PathFinding in Julia☆15Apr 20, 2026Updated last month
- Composable Data and Type Generators for C++☆10Mar 25, 2019Updated 7 years ago
- ROS2 Integration and Routing: Provide a complete tool to integrate other technologies with ROS2 easily and enable ROS2 on WAN/Internet.☆13May 25, 2021Updated 4 years ago
- ☆25Dec 30, 2025Updated 4 months ago
- ☆11Nov 20, 2023Updated 2 years ago