ptal/bonsai external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ptal/bonsai

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ptal/bonsai)

Close

ptal / bonsaiView on GitHubMore

• External links
• Readme badge

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.

• gridbugs / gws

  View on GitHub
  7DRL 2019
  ☆15Jan 7, 2023Updated 3 years ago
• pcein / rust-sipeed-longan-nano

  View on GitHub
  Running Rust on the RISCV dev board "Sipeed Longan Nano"
  ☆10Nov 17, 2019Updated 6 years ago
• mpdn / disjoint-borrow

  View on GitHub
  Disjoint borrow of slices in Rust
  ☆11Sep 1, 2019Updated 6 years ago
• lemonrock / predicator

  View on GitHub
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Sep 25, 2018Updated 7 years ago
• idubrov / experiments

  View on GitHub
  ☆11Jun 16, 2018Updated 7 years ago
• open-flash / swf-types

  View on GitHub
  Type definitions for the SWF file format (Rust and Typescript)
  ☆12May 10, 2022Updated 3 years ago
• MIPS / meos

  View on GitHub
  ☆12Jun 4, 2018Updated 7 years ago
• INRIA / velus

  View on GitHub
  A Lustre compiler in Coq
  ☆70Jan 6, 2026Updated 2 months ago
• trustyuri / trustyuri-spec

  View on GitHub
  Trusty URI specification
  ☆20Feb 23, 2015Updated 11 years ago
• kisasexypantera94 / khalzam-rs

  View on GitHub
  Audio recognition library
  ☆13Nov 10, 2019Updated 6 years ago
• thierryseegers / flow

  View on GitHub
  Cross-platform headers-only C++11 framework for streaming data packets through a graph of data-transforming nodes
  ☆15Aug 8, 2015Updated 10 years ago
• riscv-rust / picosoc-example

  View on GitHub
  Getting started with rust on picosoc
  ☆14Feb 27, 2023Updated 3 years ago
• pickfire / babelfish

  View on GitHub
  Universal translater for encodings
  ☆14Dec 20, 2021Updated 4 years ago
• ScheduleOpt / benchmarks

  View on GitHub
  ScheduleOpt benchmarks
  ☆19Mar 10, 2026Updated 2 weeks ago
• tranthamp / neon_test

  View on GitHub
  Simple test of ARM NEON code. Performs a blit to the framebuffer.
  ☆15Jul 23, 2013Updated 12 years ago
• kprotty / lazer

  View on GitHub
  A programming language focused on concurrency and low memory usage
  ☆12Apr 29, 2019Updated 6 years ago
• leiradel / barebones-rpi

  View on GitHub
  Barebones Raspberry Pi programming in C
  ☆14Apr 6, 2019Updated 6 years ago
• Leonqn / rutebot

  View on GitHub
  Telegram bot api bindings for rust programming language
  ☆12Dec 2, 2021Updated 4 years ago
• nerves-project / toolchains

  View on GitHub
  Nerves Toolchains
  ☆16Feb 12, 2026Updated last month
• copterust / dcmimu

  View on GitHub
  An algorithm for fusing low-cost triaxial MEMS gyroscope and accelerometer measurements.
  ☆18Mar 17, 2025Updated last year
• dflemstr / type-info

  View on GitHub
  ☆23Jul 3, 2018Updated 7 years ago
• sonejostudios / SuperBeatRepeater

  View on GitHub
  Beat Repeater with Sidechain Beat Recognation and Midi-Clock Sync
  ☆14Jan 20, 2018Updated 8 years ago
• rust-embedded / msp430-rt

  View on GitHub
  Minimal startup / runtime for MSP430 microcontrollers
  ☆19Aug 19, 2025Updated 7 months ago
• Monnoroch / rust-jni

  View on GitHub
  Safe interface to the JNI library in Rust.
  ☆20Jan 4, 2022Updated 4 years ago
• stevenvar / OCaLustre

  View on GitHub
  OCaml syntax extension for synchronous programming...
  ☆32Aug 17, 2023Updated 2 years ago
• shayan-najd / QFeldspar

  View on GitHub
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Nov 11, 2015Updated 10 years ago
• Technologicat / pydialect

  View on GitHub
  Build languages on Python.
  ☆12May 2, 2021Updated 4 years ago
• epost / purescript-datalog-parsers

  View on GitHub
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Aug 19, 2017Updated 8 years ago
• tbrk / muttlight

  View on GitHub
  Search and preview for MailDir files on MacOS
  ☆16Sep 1, 2017Updated 8 years ago
• japaric / jnet

  View on GitHub
  [Experiment] JNeT: japaric's network thingies
  ☆28Nov 17, 2019Updated 6 years ago
• ocurrent / ocaml-dockerfile

  View on GitHub
  OCaml interface for creating Dockerfiles
  ☆66Updated this week
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 10 months ago
• jzrake / redux-cpp

  View on GitHub
  Tiny implementation of the redux pattern for C++14
  ☆20Jul 14, 2019Updated 6 years ago
• japaric / linux-rtfm

  View on GitHub
  [Experiment] Real Time for The Masses on Linux
  ☆27Jul 11, 2019Updated 6 years ago
• letmaik / monadiccp

  View on GitHub
  Monadic Constraint Programming framework
  ☆28May 9, 2018Updated 7 years ago
• lawrencecpaulson / lawrencecpaulson.github.io

  View on GitHub
  the blog "Machine Logic"
  ☆22Feb 26, 2026Updated 3 weeks ago
• ankoh / duckdb.js

  View on GitHub
  ☆24Sep 28, 2020Updated 5 years ago
• benbrittain / mikado

  View on GitHub
  2-8-2, a RISC-V Experimental OS
  ☆28Dec 14, 2019Updated 6 years ago
• pftbest / msp430_svd

  View on GitHub
  ☆23Mar 16, 2026Updated last week