lf-lang / lingua-francaView external linksLinks
Intuitive concurrent programming in any language
☆284Updated this week
Alternatives and similar repositories for lingua-franca
Users that are interested in lingua-franca are comparing it to the libraries listed below
Sorting:
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆125Dec 3, 2025Updated 2 months ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Nov 3, 2020Updated 5 years ago
- Rust SDK for Rigetti Quantum Cloud Services (QCS)☆14Updated this week
- A command-line interface tool for creating, managing, and verifying Content Provenance and Authenticity (C2PA) manifests for machine lear…☆21Updated this week
- The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic dia…☆17Oct 7, 2025Updated 4 months ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 2 years ago
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆14Aug 30, 2023Updated 2 years ago
- Source Code for 'Hands-on Booting' by Yogesh Babar☆13Apr 27, 2021Updated 4 years ago
- ☆12Nov 8, 2018Updated 7 years ago
- System for verifying the correctness of generated Copilot programs☆17May 8, 2025Updated 9 months ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Aug 11, 2025Updated 6 months ago
- Chisel Examples for the iCESugar FPGA Board☆12May 4, 2021Updated 4 years ago
- Python to CS-Studio (Phoebus) XML☆19Oct 9, 2025Updated 4 months ago
- Easy-to-use asynchronous rocksdb client for python.☆14Aug 11, 2023Updated 2 years ago
- Cerberus C semantics☆80Jan 15, 2026Updated last month
- Lab material for the three week course on builiding a RISC-V microprocessor☆20Jan 14, 2026Updated last month
- In-process Python for use within Excel☆20Oct 6, 2014Updated 11 years ago
- EPICS Device Support for OPC UA☆22Jan 20, 2026Updated 3 weeks ago
- HardCaml example designs☆18Jun 13, 2018Updated 7 years ago
- An OCaml interface to the Sundials suite of numeric solvers.☆26Sep 11, 2025Updated 5 months ago
- gemoc-studio☆28Mar 4, 2025Updated 11 months ago
- AnyBlob - A Universal Cloud Object Storage Download Manager Built For Cost-Throughput Optimal Analytics!☆21Aug 27, 2025Updated 5 months ago
- Fully verified model checker for realtime systems☆17Sep 2, 2022Updated 3 years ago
- Function Message Interface (FMI): library for message-passing and collective communication for serverless functions.☆22Apr 16, 2024Updated last year
- A work-in-progress language and compiler for verified low-level programming☆323Feb 2, 2026Updated 2 weeks ago
- ELISA Aerospace Working Group☆34Updated this week
- ☆17Feb 14, 2024Updated 2 years ago
- Glas language system supports a deterministic build system with user-defined syntax, and an alternative vision of applications.☆22Updated this week
- Verilog AST☆21Dec 2, 2023Updated 2 years ago
- TACLe Benchmarks☆55Oct 25, 2025Updated 3 months ago
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆63Jan 16, 2026Updated last month
- ☆28May 8, 2025Updated 9 months ago
- C++ component model and discovery service implementation☆22Jun 13, 2024Updated last year
- UCLID5: formal modeling, verification, and synthesis of computational systems☆154Jul 9, 2025Updated 7 months ago
- STM32 based DC-DC converter☆32Jan 6, 2024Updated 2 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆46Updated this week
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- TriCera: a model checker for C programs☆26Updated this week
- https://crates.io/crates/transistor☆28May 28, 2022Updated 3 years ago