idris2-json
Robyn
| idris2-json | Robyn | |
|---|---|---|
| 1 | 61 | |
| 15 | 3,593 | |
| - | 7.6% | |
| 5.2 | 9.2 | |
| 19 days ago | 9 days ago | |
| Idris | Python | |
| BSD 3-clause "New" or "Revised" License | BSD 2-clause "Simplified" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
idris2-json
-
What libraries does Idris need to increase adoption?
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.
Robyn
- Robyn – Innovator Friendly, and Community Driven Python Web Framework
-
Introducing Dependency Injections in Robyn with a Twist!
For those who might not be familiar, Robyn is a fast, asynchronous Python backend web framework that operates with a Rust runtime, combining the best of both worlds for efficient and robust web development.
- Robyn: A Fast, Innovator Friendly, and Community Driven Python Web Framework
- Robyn – Web Framework in Rust
-
FastHttp for Python (64k requests/s)
If you're comparing web frameworks you might also like to look at robyn https://robyn.tech/, which claims impressive performance. It's always tricky tho' to go from benchmarks to a particular use case.
- Robyn: High-Performance and Community-Driven Python Web Framework
-
Robyn passes 1M installs on PyPi.
Robyn's Link - https://github.com/sparckles/robyn
- Robyn v0.38.0 - An improved CLI for create-robyn-app
-
Robyn Finds a New Nest: Joining the Sparckles Open-Source Organization
For the unaware, Robyn , is a High-Performance, Community-Driven, and Innovator Friendly Python Web Framework with a Rust runtime.
What are some alternatives?
PyO3 - Rust bindings for the Python interpreter
fastapi - FastAPI framework, high performance, easy to learn, fast to code, ready for production
rapier - 2D and 3D physics engines focused on performance.
uvicorn - An ASGI web server, for Python. 🦄
serde - Serialization framework for Rust
MMM-BurnIn
Prophet - Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.
Python-Regex - A port of the Rust regex library to python for super speed linear matching.
strawberry - A GraphQL library for Python that leverages type annotations 🍓
granian - A Rust HTTP server for Python applications
fastuuid - FastUUID is a library which provides CPython bindings to Rust's UUID library
ormsgpack - Msgpack serialization/deserialization library for Python, written in Rust using PyO3 and rust-msgpack. Reboot of orjson. msgpack.org[Python]