Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
☆11Sep 24, 2026Updated last month
Alternatives and similar repositories for emfrp
Users that are interested in emfrp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- RSpec + Ruby 2.0 refinements☆12Oct 12, 2012Updated 14 years ago
- A collection of type-based library search algorithms☆12Sep 8, 2026Updated last month
- (wip) Slide "generation" language and system, for those unsatisfied with both WYSIWYG editors and markup languages.☆22Updated this week
- A programming language and environment for microcontrollers☆51Sep 15, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Memory-efficient immutable LightGraphs.☆34Sep 25, 2026Updated last month
- This is a Docker image project with CentOS 7, Elixir, and Phoenix.☆12Sep 11, 2016Updated 10 years ago
- 「商用ロボット開発のためのROS2プログラミング」プロジェクト用のワイガヤリポジトリ☆17Sep 26, 2019Updated 7 years ago
- 安っぽいVTuber用アプリ☆10Mar 21, 2024Updated 2 years ago
- モリカトロン株式会社のテックブログで公開する（ちょっとした）ソースコードをシェアするリポジトリです。☆11Aug 25, 2026Updated 2 months ago
- YaneuraoGameSDK for Brython☆17Apr 25, 2022Updated 4 years ago
- Matrix-operation is a linear algebra library in Elixir language.☆10Apr 16, 2022Updated 4 years ago
- New mod based on LittleMaidMob!☆13Oct 27, 2023Updated 3 years ago
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆14Mar 1, 2020Updated 6 years ago
- Top-level app that runs multiple scenic apps underneath it☆11Aug 8, 2026Updated 2 months ago
- αProlog☆18Jul 9, 2023Updated 3 years ago
- Ada client library for ROS2/RCL☆11Sep 19, 2024Updated 2 years ago
- Open-source Software Platform Based on TOPPERS/ASP Kernel, mbed and Arduino Library for Renesas GR-PEACH.☆12Mar 25, 2020Updated 6 years ago
- Coq Code☆17Oct 24, 2026Updated 2 weeks ago
- The Typst template for BUAA thesis.☆19Updated this week
- Face Verification Example with Flower / Federated Learning☆12Apr 3, 2023Updated 3 years ago
- Game prototype(s)☆16Jun 12, 2011Updated 15 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.
- SDK of the Clova CEK for Elixir☆14Oct 18, 2018Updated 8 years ago
- 温泉MaaS タクシー配車システムのデモプロジェクト☆15Jun 15, 2022Updated 4 years ago
- A compiler of Emfrp, an FRP language for small embedded systems.☆35Mar 7, 2021Updated 5 years ago
- ☆12Sep 3, 2025Updated last year
- ☆10Nov 6, 2018Updated 8 years ago
- ☆10Oct 6, 2025Updated last year
- jtalkDLL: OpenJTalk DLL☆22Mar 29, 2020Updated 6 years ago
- Nerves mix integration bootstrap and new project generator☆43Oct 11, 2026Updated 3 weeks ago
- 🏃♀️🏃♂️ ⏳ A Julia wrapper for wasmtime☆13Oct 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Markdown files of rosjp.connpass.com☆12Jan 5, 2021Updated 5 years ago
- Experimental web kiosk for the RPi5☆14Updated this week
- Tools for visualizing Julia IR☆44Dec 9, 2025Updated 10 months ago
- ☆10Apr 24, 2021Updated 5 years ago
- ☆12Sep 12, 2026Updated last month
- NetBSD arafura - season 1☆11Mar 8, 2020Updated 6 years ago
- 🏆 Add dynamically generated AtCoder Stat Trophies to your readme.☆12Updated this week