Programming language based on the synchronous and constraint paradigms
☆15Oct 13, 2020Updated 5 years ago
Alternatives and similar repositories for bonsai
Users that are interested in bonsai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- OCaml syntax extension dedicated to the programming of reactive systems on the Web.☆53Sep 10, 2018Updated 7 years ago
- A Lustre compiler in Coq☆70Jan 6, 2026Updated 5 months ago
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 7 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Erlang source code parser written in Rust☆10May 21, 2026Updated last month
- 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.
- Constraint solver based on abstract interpretation☆10Dec 20, 2024Updated last year
- ScheduleOpt benchmarks☆30Jun 27, 2026Updated last week
- OCaml syntax extension for synchronous programming...☆33Aug 17, 2023Updated 2 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- CAV'22 paper to speed up Neural Network Verification.☆13Dec 19, 2022Updated 3 years ago
- Search and preview for MailDir files on MacOS☆16Sep 1, 2017Updated 8 years ago
- F* running in the browser☆21Aug 15, 2019Updated 6 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.
- OCaml interface for creating Dockerfiles☆68Jun 10, 2026Updated 3 weeks ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Please check dreal4 instead.☆13Nov 11, 2015Updated 10 years ago
- the blog "Machine Logic"☆22Jun 25, 2026Updated last week
- ☆24Sep 28, 2020Updated 5 years ago
- Implementing the Monkey language interpreter and compiler in Nim.☆14Feb 23, 2021Updated 5 years ago
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years ago
- The Rocq Prover bot☆29Jun 13, 2026Updated 3 weeks ago
- FANC is a tool for the proof transfer of incomplete verification☆13Mar 20, 2022Updated 4 years ago
- 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.
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Source code for the VLDB 2021 paper.☆11May 19, 2021Updated 5 years ago
- Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.☆58Nov 25, 2019Updated 6 years ago
- Certifying Geometric Robustness of Neural Networks☆16Mar 24, 2023Updated 3 years ago
- ☆60Aug 14, 2019Updated 6 years ago
- OVAL framework for BaB-based Neural Network Verification☆18May 8, 2026Updated last month
- An ABNF parser generator for Erlang.☆47Nov 9, 2022Updated 3 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A simple induction and BMC engine.☆25May 16, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Erlang wrapper for xxHash.☆29Nov 23, 2023Updated 2 years ago
- Modelyze: A host language for modeling and analysis of cyber-physical systems☆14Aug 21, 2020Updated 5 years ago
- Robust YAML parser for Nim.☆10Nov 30, 2015Updated 10 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Python interface for the Stan to (Num)Pyro compiler.☆14Oct 20, 2021Updated 4 years ago
- Some useful libraries to work with `js_of_ocaml`☆13Sep 20, 2024Updated last year
- The CP solver Chuffed☆20Sep 26, 2016Updated 9 years ago