sawaken/emfrp 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

sawaken/emfrp

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/sawaken/emfrp)

Close

sawaken / emfrpView on GitHubMore

• External links
• Readme badge

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

• cloudflare / gatelogic

  View on GitHub
  Gatelogic - Somewhat reactive programming framework in Python
  ☆11Sep 25, 2024Updated last year
• aike / audiolang

  View on GitHub
  Audio Language Examples
  ☆20Dec 26, 2020Updated 5 years ago
• fpco / stream

  View on GitHub
  Streaming data library built around first-class stream fusion for high efficiency
  ☆12Apr 22, 2016Updated 9 years ago
• deech / ATSPresentation

  View on GitHub
  ☆21Aug 7, 2015Updated 10 years ago
• monaqa / satysfi-enumitem

  View on GitHub
  SATySFi package for flexible ordered/unordered/description lists.
  ☆15Nov 23, 2021Updated 4 years ago
• vrnithinkumar / ETC

  View on GitHub
  ETC
  ☆15Aug 27, 2021Updated 4 years ago
• na4zagin3 / satyrographos-repo

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• Hibou57 / PostiATS-Utilities

  View on GitHub
  Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)
  ☆17Aug 6, 2018Updated 7 years ago
• rocq-archive / paradoxes

  View on GitHub
  Paradoxes in Set Theory and Type Theory
  ☆12Jul 24, 2024Updated last year
• matthesjh / coq-tal

  View on GitHub
  Formalization of Typed Assembly Language (TAL) in Coq
  ☆18Mar 11, 2024Updated 2 years ago
• Apanatshka / elm-spoofax

  View on GitHub
  The Elm programming language in the Spoofax language workbench
  ☆10Jul 10, 2015Updated 10 years ago
• githwxi / ATS-Temptory

  View on GitHub
  For supporting template-based programming
  ☆23Jun 21, 2020Updated 5 years ago
• qnighy / yarn-lock-v1

  View on GitHub
  A tool to downgrade your yarn.lock
  ☆13Mar 9, 2026Updated last week
• fablabSENDAI / makers-coc

  View on GitHub
  メイカーの交流を円滑に進めるための<心がまえ>を明文化するプロジェクト
  ☆10May 1, 2020Updated 5 years ago
• CICM / HoaLibrary-Faust

  View on GitHub
  HoaLibrary for FAUST
  ☆13Jan 21, 2020Updated 6 years ago
• wantedly / pb-serializer

  View on GitHub
  Serialize Ruby objects to Protocol Buffers
  ☆16Nov 13, 2025Updated 4 months ago
• dwt98 / kb25

  View on GitHub
  MIDI Keyboard sample sketch for K-25m.
  ☆10Dec 2, 2015Updated 10 years ago
• g200kg / audioworklet-adsrnode

  View on GitHub
  ☆12Jul 1, 2020Updated 5 years ago
• kasperpeulen / CoffeeTeX

  View on GitHub
  ☆19Dec 5, 2017Updated 8 years ago
• raviqqe / lazy-ein

  View on GitHub
  JSON meets Haskell.
  ☆11Oct 22, 2020Updated 5 years ago
• HS-Flensburg-PLTP / fp-companies-sh-hh

  View on GitHub
  A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
  ☆12Mar 31, 2021Updated 4 years ago
• SethPoulsen / robottwo

  View on GitHub
  Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.
  ☆17May 6, 2022Updated 3 years ago
• jkoppel / thermometer-continuations

  View on GitHub
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Sep 10, 2024Updated last year
• fumieval / objective

  View on GitHub
  Purely functional objects
  ☆73Oct 27, 2021Updated 4 years ago
• mimaki / M5Stack-mruby

  View on GitHub
  mruby on M5Stack
  ☆11Oct 28, 2024Updated last year
• spaceships / garbled-circuits

  View on GitHub
  haskell implementation of garbled circuits
  ☆12Dec 3, 2017Updated 8 years ago
• max-mapper / wiki-plugin-datscript

  View on GitHub
  a federated wiki plugin for datscript
  ☆12Jun 26, 2015Updated 10 years ago
• kinoshita-lab / MIDI-UART-interface-san

  View on GitHub
  Handy interface PCB for MIDI and microcontrollers.
  ☆11Mar 18, 2025Updated last year
• SFPC / yamaguchi-2019

  View on GitHub
  1 weeks session at YCAM, Japan
  ☆11Jun 11, 2020Updated 5 years ago
• jri / elm-timelines

  View on GitHub
  An UI for biographical timelines
  ☆22Jun 3, 2025Updated 9 months ago
• weliveindetail / DbgKaleidoscopeOrcJit

  View on GitHub
  Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example
  ☆13Jun 14, 2017Updated 8 years ago
• Field-Robotics-Japan / UnitySensorsArchive

  View on GitHub
  Sensor scripts for Unity
  ☆24Jun 30, 2023Updated 2 years ago
• fukuroder / BLIT-based_sinewave_hardsync

  View on GitHub
  BLIT-based sine wave hard sync
  ☆18Feb 11, 2021Updated 5 years ago
• semahawk / type-inference

  View on GitHub
  A Hindley-Milner(-Damas) type inference implementation in C.
  ☆13Nov 13, 2015Updated 10 years ago
• HOL-Theorem-Prover / hol-guidebook

  View on GitHub
  HOL Guidebook
  ☆12Oct 11, 2024Updated last year
• asonas / groovebox-ruby

  View on GitHub
  ☆13Aug 7, 2025Updated 7 months ago
• puripuri2100 / learn-satysfi

  View on GitHub
  SATySFiを学ぶためのドキュメント（作成中）
  ☆20May 22, 2021Updated 4 years ago
• StrideLang / Stride

  View on GitHub
  ☆12Feb 8, 2026Updated last month
• e14n / openfarmgame

  View on GitHub
  All the fun of subsistence farming brought to life on the federated social web
  ☆22Jun 10, 2013Updated 12 years ago