A compiler of Emfrp, an FRP language for small embedded systems.
☆35Mar 7, 2021Updated 5 years ago
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:
- Audio Language Examples☆20Dec 26, 2020Updated 5 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated 2 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Mar 23, 2015Updated 11 years ago
- RISC-V documentation transrate to Japanese.☆73Jan 1, 2022Updated 4 years ago
- ☆20Aug 7, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 14 years ago
- An interactive GHC profiling visualizer☆32Oct 3, 2017Updated 8 years ago
- SATySFi package for flexible ordered/unordered/description lists.☆15Nov 23, 2021Updated 4 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 8 years ago
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 6 years ago
- Custom OPAM repository for SATySFi libraries managed by Satyrographos☆19Apr 29, 2026Updated 4 months ago
- elm-lint lints Elm source code, to add additional guarantees to your project.☆26Sep 30, 2019Updated 6 years ago
- wxWidgets wrapper for Haskell☆37Apr 2, 2013Updated 13 years ago
- A more powerful and stable replacement for Xcode Swift Playgrounds☆20Jun 21, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- For supporting template-based programming☆23Jun 21, 2020Updated 6 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated 2 years ago
- ETC☆15Aug 27, 2021Updated 5 years ago
- Handy interface PCB for MIDI and microcontrollers.☆17Mar 18, 2025Updated last year
- A simple program to convert gdsII files to vector output formats. Currently used to create laser-cut models of standard cells.☆13May 30, 2023Updated 3 years ago
- a federated wiki plugin for datscript☆12Jun 26, 2015Updated 11 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 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.
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 5 years ago
- MIDI Keyboard sample sketch for K-25m.☆10Dec 2, 2015Updated 10 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated 2 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 10 years ago
- Instapaper API wrapper for iOS and Mac OS☆17Feb 21, 2011Updated 15 years ago
- ☆12Jul 1, 2020Updated 6 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year
- Purely functional objects☆73Oct 27, 2021Updated 4 years ago
- Docker images for SATySFi and Satyrographos☆26Jun 23, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Standuino microGranny is a pocket sized handmade granular sampler.☆11May 17, 2013Updated 13 years ago
- Eselsohr is a self-hostable bookmark manager for storing web articles.☆10Sep 10, 2026Updated last week
- QUICの仕様の翻訳☆25Oct 25, 2018Updated 7 years ago
- SATySFiを学ぶためのドキュメント（作成中）☆20May 22, 2021Updated 5 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 8 years ago
- M5Stack-MIDI-Module☆34Sep 9, 2020Updated 6 years ago
- Boilerplate for using F# to develop games using GODOT☆15Mar 20, 2018Updated 8 years ago