Functional programming language for embedded devices?

• nerves

  11 2,155 8.4 Elixir

  Craft and deploy bulletproof embedded software in Elixir

  

Check out nerves, a set of tools and libraries for embedded development with Elixir.

• nerves_system_osd32mp1

  1 5 6.7 Elixir

  Base system for Octavo OSD32MP1

  

I don't know much about it, but is this configuration useful?

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• hardcaml

  7 614 6.4 OCaml

  Hardcaml is an OCaml library for designing hardware.

  

• v-mode

  89 57 0.0 Emacs Lisp

  🌻 An Emacs major mode for the V programming language.

what about https://vlang.io/ ?

• clash-ghc

  33 1,376 9.1 Haskell

  Haskell to VHDL/Verilog/SystemVerilog compiler

  

I haven’t used it yet, but I just came across this a few days ago https://clash-lang.org/

• animula

  1 - -

I haven't try it but this should probably be listed here: https://gitlab.com/hardenedlinux/animula/-/wikis/home

Suggest a related project