CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
☆14Mar 11, 2022Updated 3 years ago
Alternatives and similar repositories for coqtl
Users that are interested in coqtl are comparing it to the libraries listed below
Sorting:
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Lightweight views for your models☆16Dec 12, 2023Updated 2 years ago
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 13 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation that ut…☆24Nov 17, 2025Updated 3 months ago
- Multi-backend EMF persistence framework.☆55Oct 24, 2025Updated 4 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆35Feb 19, 2026Updated last week
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- Development of the CafeOBJ interpreter☆40Nov 18, 2024Updated last year
- ☆73Nov 6, 2025Updated 3 months ago
- FUSION is an open-source project aimed at revolutionizing networking through the simulation of advanced SD-EONs and AI-enhanced networks,…☆13Feb 18, 2026Updated last week
- Bridging GraphQL and RDF Community Group☆35Nov 17, 2022Updated 3 years ago
- Code for the AAAI 2023 paper "CodeAttack: Code-based Adversarial Attacks for Pre-Trained Programming Language Models☆35Apr 18, 2023Updated 2 years ago
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 months ago
- Python Model to Text framework for PyEcore, including the Ecore to Python generator☆32Apr 10, 2021Updated 4 years ago
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- Profitable MT5 Expert Advisors☆21Feb 22, 2026Updated last week
- MVP for updated PEP 543 proposal☆14Feb 13, 2026Updated 2 weeks ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆13Mar 26, 2024Updated last year
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Updated this week
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- Self service portal for aws workspace☆10Dec 10, 2023Updated 2 years ago
- This project provides a model-driven engineering workbench for CAEX.☆10Feb 2, 2023Updated 3 years ago
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Vocal Prism — Privacy-first, local AI audio transcription for macOS (Whisper → CoreML, Apple Silicon‑optimized).☆27Jan 15, 2026Updated last month
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- ☆11Sep 8, 2022Updated 3 years ago
- ☆10Oct 3, 2018Updated 7 years ago
- Tutorial: Data Validation for Machine Learning Techniques☆11May 5, 2023Updated 2 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 6 months ago