☆56Dec 2, 2025Updated 5 months ago
Alternatives and similar repositories for Agents4PLC_release
Users that are interested in Agents4PLC_release are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆27Apr 7, 2026Updated last month
- Source code for EMNLP'25 paper "CodeRAG: Finding Relevant and Necessary Knowledge for Retrieval-Augmented Repository-Level Code Completio…☆21Apr 15, 2026Updated last month
- Autonomous coding agent right in your IDE.☆12Jan 14, 2025Updated last year
- Web components framework for Deno☆12Sep 3, 2021Updated 4 years ago
- Official repository for the paper "COAST: Enhancing the Code Debugging Ability of LLMs through Communicative Agent Based Data Synthesis".☆17Feb 19, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- WASMified Sass compiler for Deno☆10Nov 5, 2020Updated 5 years ago
- Headless datatable component for Svelte☆13Jan 5, 2023Updated 3 years ago
- [ACL '24] Source code for paper: INTERVENOR : Prompt the Coding Ability of Large Language Models with the Interactive Chain of Repairing☆30Nov 25, 2024Updated last year
- Garden AWS Quickstart solution for production-like development clusters on AWS.☆13Jun 17, 2024Updated last year
- Matrix Client for Linux, written in Dart & Flutter☆19May 10, 2026Updated last week
- ☆16Updated this week
- Your Friendly Neighborhood ML Library, now in Deno.☆10Aug 20, 2021Updated 4 years ago
- A super simple Deno file server☆15Oct 29, 2021Updated 4 years ago
- Build script of BusyBox for WebAssembly (wasm) using Emscripten☆10Dec 21, 2020Updated 5 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.
- HDUer，你好！这个项目旨在建立一个全面、可持续的学习资料共享平台。打破某些帐号对于资料的垄断，同时也防止规避QQ群因人员迭代造成的人数过多现象。☆31Feb 28, 2023Updated 3 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- Terraform provider for Rackspace Spot☆14Mar 21, 2025Updated last year
- ☆27Aug 16, 2025Updated 9 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆11Apr 8, 2020Updated 6 years ago
- playing with gpt4☆13Mar 17, 2023Updated 3 years ago
- ☆14Aug 25, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Feel free to import TypeScript files in the script tag!☆23Aug 29, 2021Updated 4 years ago
- ☆14Sep 15, 2025Updated 8 months ago
- Lean 3 web editor☆12Oct 25, 2023Updated 2 years ago
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 29, 2026Updated last month
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Experiments with some ways of automating reasoning in lean 4☆18Apr 20, 2024Updated 2 years ago
- ☆24Feb 16, 2022Updated 4 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- XRPL Hooks Builder - Add smart contract functionality to the XRP Ledger☆21Feb 23, 2026Updated 2 months ago
- ☆90Apr 8, 2026Updated last month
- The Concept Bottleneck Shift Detection (CBSD) methods for explaining and detecting various dataset shifts.☆14Jun 22, 2021Updated 4 years ago
- R implementation of Contextual Importance and Utility for Explainable AI☆10Nov 5, 2025Updated 6 months ago
- ☆13Nov 12, 2019Updated 6 years ago