What libraries does Idris need to increase adoption?

1. serde

   1 198 9,507 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]?)

2. Nutrient

   nutrient.io featured

   Nutrient - The #1 PDF SDK Library. Bad PDFs = bad UX. Slow load times, broken annotations, clunky UX frustrates users. Nutrient’s PDF SDKs gives seamless document experiences, fast rendering, annotations, real-time collaboration, 100+ features. Used by 10K+ devs, serving ~half a billion users worldwide. Explore the SDK for free.

   

3. Robyn

   2 71 5,443 9.0 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.

4. rapier

   3 40 4,370 8.9 Rust

   2D and 3D physics engines focused on performance.

   

   Likewise, see the js bindings of Rapier.

5. PyO3

   4 158 13,194 9.7 Rust

   Rust bindings for the Python interpreter

   

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

6. idris2-json

   5 1 16 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.

7. CodeRabbit

   coderabbit.ai featured

   CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

   

Suggest a related project