☆20Sep 25, 2019Updated 6 years ago
Alternatives and similar repositories for l2c
Users that are interested in l2c are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some Lustre program examples☆22Jul 8, 2025Updated last year
- A Lustre compiler in Coq☆71Aug 28, 2026Updated 3 weeks ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆127Updated this week
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated 2 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆57Jul 3, 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.
- ☆29Apr 12, 2023Updated 3 years ago
- Open-source library for MODBUS TCP and UDP☆17Jul 9, 2014Updated 12 years ago
- helloworld powerpc-app on qemu-e500☆14Oct 21, 2015Updated 10 years ago
- AE-solver and Skolemizer☆17Jul 12, 2026Updated 2 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆215Mar 10, 2025Updated last year
- ☆12Sep 11, 2026Updated last week
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- Validate XML files against their referenced XML Schemas concurrently and fast☆20Aug 30, 2026Updated 3 weeks ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Allows you to have webpages open inside Foundry VTT☆12Oct 27, 2025Updated 10 months ago
- PDF Pager for Foundry☆13Aug 13, 2026Updated last month
- 🤞💖🎁树莓派不吃灰，跑个flink 实时分析任务不香吗？✨🌹☆14May 16, 2024Updated 2 years ago
- Practice with TI C64x/C64x+ series DSP. 梁凡老师 DSP 器件原理与应用课程作业。☆20Jan 2, 2022Updated 4 years ago
- Diagnose performance issues in macOS based on mac_tracing.☆20May 16, 2021Updated 5 years ago
- Vfix : Vim, Debugging, Vim-scripts☆17Jul 3, 2020Updated 6 years ago
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated last year
- A clean and modern UI for Foundry VTT. Inspired by MacOS/IOS using flat interface and glasslike surfaces.☆12Dec 4, 2022Updated 3 years ago
- A classic 2D platformer game in the spirit of the 1990s.☆16Jun 22, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Vim built-in Racket Omnicompletion and Documentation☆13Mar 7, 2021Updated 5 years ago
- An interactive vue component that displays multiple images in a row☆17Aug 16, 2021Updated 5 years ago
- MPP: a meta preprocessor that blends programming languages☆32Jun 8, 2023Updated 3 years ago
- Formal verification agent for design or implementation☆16Nov 18, 2025Updated 10 months ago
- File Selector Vim Plugin☆18Aug 17, 2022Updated 4 years ago
- Flow control nodes for comfyUI, allowing for more diverse workflows☆13Apr 3, 2025Updated last year
- ☆20Feb 10, 2026Updated 7 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24May 2, 2017Updated 9 years ago
- English sentence segmentation rules based on SRX standard.☆19Nov 5, 2012Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆10Feb 24, 2020Updated 6 years ago
- fvtt_mosh_1e_psg☆17May 26, 2026Updated 3 months ago
- PARSEC 3.0 benchmark suite☆13May 12, 2018Updated 8 years ago
- Pipe input from Vims terminal directly back into Vim☆26Nov 13, 2023Updated 2 years ago
- Python wrapper for libcosim☆12Jun 30, 2026Updated 2 months ago
- A chart builder component in react, which uses JSON for schema.☆12Oct 24, 2023Updated 2 years ago
- Automatic transcription models for Chinese historical documents trained with the kraken OCR engine☆22Sep 27, 2023Updated 2 years ago