Fez

Fable

F# to JavaScript, TypeScript, Python, Rust, Erlang and Dart Compiler

FunScript

F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider

Juniper

Juniper is a functional reactive programming (FRP) language designed specifically for Arduino and microcontroller projects. It provides a high-level, timing-based approach to event-driven programming that aligns naturally with the real-time reactive nature of embedded systems. The language transpiles to Arduino C++, which is then compiled into executable code for microcontrollers. ## Key Features - **Functional Reactive Programming** — Enables high-level, declarative handling of real-time events and signals. - **Arduino Integration** — Transpiles directly to Arduino C++ for seamless deployment on microcontrollers. - **Static Typing & Type Inference** — Ensures type safety while reducing boilerplate with automatic type deduction. - **Algebraic Data Types** — Supports complex data structures through sum types and records (similar to C++ structs). - **First-Class Functions** — Treats functions as values, enabling functional programming patterns. - **Template-Based Lists** — Uses templates to create lists with maximum capacity constraints. ## Philosophy Juniper aims to bring the expressiveness and safety of functional reactive programming to embedded development, allowing developers to write more maintainable and robust code for real-time microcontroller applications.