☆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 modular Lustre to C / Horn clauses compiler☆22Nov 17, 2018Updated 7 years ago
- A Lustre compiler in Coq☆71Jan 6, 2026Updated 6 months ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆126Updated this week
- ☆11Sep 18, 2017Updated 8 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.
- [NeurIPS 2025] Official PyTorch implementation of paper "Learning Grouped Lattice Vector Quantizers for Low-Bit LLM Compression".☆15Oct 24, 2025Updated 9 months ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- KDD CUP99数据集的分类——网络连接异常识别☆10Mar 4, 2024Updated 2 years ago
- Code for the paper "LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference" at ASE 2024☆30Sep 3, 2024Updated last year
- JKind - An infinite-state model checker for safety properties in Lustre☆57Jul 3, 2025Updated last year
- ☆11Sep 15, 2017Updated 8 years ago
- Open-source library for MODBUS TCP and UDP☆17Jul 9, 2014Updated 12 years ago
- All my Kaggle Notebooks that I've published☆16Oct 24, 2024Updated last year
- TRACE32-Scripts is a collection of board specific TRACE32 .cmm scripts(U-Boot/Linux via RNDIS)☆17Jan 9, 2025Updated last year
- 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.
- helloworld powerpc-app on qemu-e500☆14Oct 21, 2015Updated 10 years ago
- OSDT2016开源开发工具大会演讲资料下载☆10Nov 9, 2016Updated 9 years ago
- AE-solver and Skolemizer☆17Jul 12, 2026Updated 2 weeks ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆216Mar 10, 2025Updated last year
- Automated Analysis Framework for Simulink/Stateflow☆14Jul 25, 2023Updated 3 years ago
- Validate XML files against their referenced XML Schemas concurrently and fast☆20May 23, 2026Updated 2 months ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- 龙芯linux安装程序☆11Jun 12, 2025Updated last year
- Redirect pseudo-terminal I/O to stdin and stdout☆17Nov 29, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- scripts to help make opensuse builds reproducible☆14May 8, 2026Updated 2 months ago
- A simulator for the UW MIPS instruction set, with a time-traveling debugger☆10Jun 26, 2019Updated 7 years ago
- PDF Pager for Foundry☆13Jul 6, 2026Updated 2 weeks ago
- Remotely accessible IPython-enabled debugger☆31Mar 27, 2022Updated 4 years ago
- IEC61131-3 runtime system based on xenomai☆18Jan 20, 2019Updated 7 years ago
- Examples of how to program with LLVM IR☆14Jun 21, 2013Updated 13 years ago
- 🤞💖🎁树莓派不吃灰，跑个flink 实时分析任务不香吗？✨🌹☆14May 16, 2024Updated 2 years ago
- 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A userspace file system for Windows (using dokan). Supports snapshots, clones and deduplication of files.☆25Feb 1, 2016Updated 10 years ago
- ☆16Mar 31, 2023Updated 3 years ago
- Vim built-in Racket Omnicompletion and Documentation☆13Mar 7, 2021Updated 5 years ago
- Transforming RTPS IDL to Rust☆23Jan 14, 2019Updated 7 years ago
- Buffer Selector - Vim plugin for selecting a buffer to edit using a popup menu☆14Jul 30, 2021Updated 4 years ago
- my toy 6502 emulator☆16Jan 4, 2011Updated 15 years ago
- 微信查看你被那些好友删除了☆13May 4, 2016Updated 10 years ago