What libraries does Idris need to increase adoption?

• serde

  191 8,624 9.1 Rust

  Serialization framework for Rust

  

I can find a json data type, but is there a serialization library that works with any data type, using derives? Like Rust's serde or Haskell's aeson (does Idris have anything like Haskell's Generic or deriving, or like Rust's #[derive]?)

• Robyn

  61 3,593 9.2 Python

  Robyn is a Super Fast Async Python Web Framework with a Rust runtime.

  

Writing your own web stack from scratch will likely perform worse and have fewer features than binding with a Rust framework. Just see how Robyn is for Python, using pyo3.

• 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.

  

• rapier

  39 3,610 8.4 Rust

  2D and 3D physics engines focused on performance.

  

Likewise, see the js bindings of Rapier.

• PyO3

  147 11,086 9.8 Rust

  Rust bindings for the Python interpreter

  

From the POV of a Rust developer: autogenerated idiomatic FFI with Rust, like pyo3 for Python.

• idris2-json

  1 15 5.2 Idris

  Automatically derivable JSON marshallers in the spirit of Haskell's aeson

I've never used it but this library seems to have automatically derivable json serialisation like Aeson. It seems to use something called elaborator reflection which seems a lot more general than deriving. I couldn't find documentation on it for Idris 2 so I don't know if that feature has or will be brought over.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project