A compiler of Emfrp, an FRP language for small embedded systems.
☆33Mar 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
- A programming language and environment for microcontrollers☆28Updated this week
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- Futures for Elixir☆22Jan 13, 2014Updated 12 years ago
- Haskell-like STM for Swift☆45Dec 29, 2015Updated 10 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.
- ☆21Aug 7, 2015Updated 10 years ago
- ETC☆15Aug 27, 2021Updated 4 years ago
- CDN distribution for Opal.☆12May 1, 2026Updated last month
- Materials for /An Outsider's Guide to Statically Typed Functional Programming/☆25Apr 5, 2018Updated 8 years ago
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- elm-lint lints Elm source code, to add additional guarantees to your project.☆26Sep 30, 2019Updated 6 years ago
- TexLive Docker Images☆10Feb 2, 2021Updated 5 years ago
- AllWize Library☆18Mar 29, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 10 years ago
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- A more powerful and stable replacement for Xcode Swift Playgrounds☆20Jun 21, 2022Updated 3 years ago
- メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト☆10May 1, 2020Updated 6 years ago
- Pythonic library for reading/modifying/writing Gerber/Excellon/IPC-356 files. docs: https://gerbolyze.gitlab.io/gerbonara☆18Apr 25, 2026Updated last month
- ☆12Jul 1, 2020Updated 5 years ago
- ☆19Dec 5, 2017Updated 8 years ago
- JSON meets Haskell.☆11Oct 22, 2020Updated 5 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.
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 4 years ago
- Purely functional objects☆73Oct 27, 2021Updated 4 years ago
- mruby on M5Stack☆11Oct 28, 2024Updated last year
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- A compiler for a Lisp dialect☆23Feb 13, 2026Updated 3 months ago
- 1 weeks session at YCAM, Japan☆11Jun 11, 2020Updated 6 years ago
- QUICの仕様の翻訳☆25Oct 25, 2018Updated 7 years ago
- An UI for biographical timelines☆22Jun 3, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple JACK synth experiment☆13Aug 3, 2019Updated 6 years ago
- Verification Framework for Actor Systems on Coq☆29Jul 2, 2018Updated 7 years ago
- Userspace "driver" for the Logitech k750 Solar Keyboard. A fork of the repo from @noah, kept for posterity. If you're looking for actuall…☆23Feb 2, 2018Updated 8 years ago
- Firmware for the Sinara Booster RF amplifier☆13May 13, 2026Updated 3 weeks ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Basic DSL for generating SQL/DDL, formerly java.jdbc.sql and java.jdbc.ddl☆42Jun 10, 2015Updated 11 years ago
- Reduced Embeddable More Or Less Tcl☆11Feb 6, 2025Updated last year