Alternatives and similar repositories for lustre

Users that are interested in lustre are comparing it to the libraries listed below

• contract-ace / smartace

  View on GitHub
  ☆17Jan 13, 2022Updated 4 years ago
• coco-team / zustre

  View on GitHub
  A model checker and assume/guarantee contract generator for Lustre programs.
  ☆16Jun 5, 2018Updated 7 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot

  View on GitHub
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Jan 17, 2023Updated 3 years ago
• avsm / dopam

  View on GitHub
  Run OPAM under Docker
  ☆13Apr 28, 2016Updated 9 years ago
• formalmethods / intrepid

  View on GitHub
  Intrepyd Model Checker
  ☆18Nov 5, 2021Updated 4 years ago
• cpitclaudel / fstar.js

  View on GitHub
  F* running in the browser
  ☆21Aug 15, 2019Updated 6 years ago
• seahorn / verify-c-common

  View on GitHub
  ☆20May 30, 2024Updated last year
• jahierwan / lustre-examples

  View on GitHub
  Some Lustre program examples
  ☆22Jul 8, 2025Updated 7 months ago
• rizo / ppx_rule

  View on GitHub
  Compile-time rewrite rules for OCaml
  ☆16Jan 15, 2016Updated 10 years ago
• coco-team / lustrec

  View on GitHub
  A modular Lustre to C / Horn clauses compiler
  ☆22Nov 17, 2018Updated 7 years ago
• mirage / mirage-lambda

  View on GitHub
  An eDSL for MirageOS apps
  ☆20Jul 30, 2018Updated 7 years ago
• INRIA / velus

  View on GitHub
  A Lustre compiler in Coq
  ☆71Jan 6, 2026Updated last month
• kmcallister / qoppa

  View on GitHub
  Metacircular evaluator for a tiny fexpr language
  ☆44Apr 28, 2012Updated 13 years ago
• rettigs / clonaria

  View on GitHub
  A Terraria clone in Python, just for fun
  ☆10Jun 7, 2020Updated 5 years ago
• mmottl / gpr

  View on GitHub
  Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
  ☆47Nov 28, 2025Updated 2 months ago
• lanl / c2dwave

  View on GitHub
  Translate a subset of C to Verilog
  ☆11May 8, 2019Updated 6 years ago
• ephel-lang / ephel

  View on GitHub
  Language mixing functional programming and Ambient Calculus
  ☆12Dec 10, 2024Updated last year
• SparkFund / sails-forth

  View on GitHub
  A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata
  ☆11Jan 14, 2020Updated 6 years ago
• quilt-lang / quilt

  View on GitHub
  A programming language
  ☆11Jan 7, 2022Updated 4 years ago
• povilasb / pyigd

  View on GitHub
  IGD implementation in pure Python
  ☆10Jul 28, 2022Updated 3 years ago
• voidvon / best-scroll

  View on GitHub
  有史以来最丝滑的滚动插件 for vue.js2.0
  ☆10Dec 8, 2022Updated 3 years ago
• kristoferB / SP

  View on GitHub
  Sequence Planner
  ☆12Nov 17, 2017Updated 8 years ago
• g7rhythm / MYcifar255

  View on GitHub
  卷积神经网络算法处理图片识别 最大255个品类。 1，根据tensorflow -cifar10 示例 改进，以便适应更多图片与分类。2，完善打包图片到Bin文件的生成机制
  ☆11Feb 2, 2023Updated 3 years ago
• berkeley-abc / mvsis

  View on GitHub
  A copy of the latest version of MVSIS
  ☆12Apr 18, 2021Updated 4 years ago
• CoriolisSP / FuzzBtor2

  View on GitHub
  Random Generator of Btor2 Files
  ☆10Sep 2, 2023Updated 2 years ago
• cxcxy / small-city

  View on GitHub
  微信小程序-城市三级联动
  ☆12Jun 30, 2017Updated 8 years ago
• tzanis-anevlavis / cis2m

  View on GitHub
  Controlled Invariant Sets in Two Moves
  ☆14Dec 21, 2021Updated 4 years ago
• iscar-ucm / xdevs

  View on GitHub
  xDEVS: A cross-platform Discrete EVent System simulator
  ☆14Nov 14, 2025Updated 3 months ago
• charguer / tlc

  View on GitHub
  Library for Classical Coq
  ☆40Jan 20, 2026Updated 3 weeks ago
• SmnTin / lincheck

  View on GitHub
  A linearizability checker for concurrent data structures
  ☆12Aug 3, 2023Updated 2 years ago
• tomjridge / tjr_btree

  View on GitHub
  B-tree (Bayer, not binary) library in OCaml
  ☆40Feb 1, 2022Updated 4 years ago
• IncroyablePix / Trema

  View on GitHub
  ImGUI wrapper with XML view descriptors
  ☆11Feb 21, 2023Updated 2 years ago
• jamieYou / weapp-starter-kit

  View on GitHub
  ☆13Jan 6, 2023Updated 3 years ago
• usi-verification-and-security / golem

  View on GitHub
  Solver for Constrained Horn Clauses
  ☆50Updated this week
• tie-rack / helping-voters-conj-2014

  View on GitHub
  Code for Nathan Herzing and Chris Shea's "Helping Voters with Datomic, Pedestal, Om and core.async" talk
  ☆12Nov 21, 2014Updated 11 years ago
• RocketChat / Android-DDP

  View on GitHub
  ☆10Nov 13, 2016Updated 9 years ago
• lucabol / CLiterary

  View on GitHub
  Literate programmiong parser in C
  ☆10Mar 21, 2013Updated 12 years ago
• hypertrons / hypertrons-crx-website

  View on GitHub
  Official Website of Hypercrx
  ☆13Jan 8, 2025Updated last year
• Unidata / ttm

  View on GitHub
  Provide a reference implementation for the TTM programming language.
  ☆10Oct 5, 2014Updated 11 years ago