Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Idris Py

Python backend for Idris (generates Python source, not bytecode).
Stars
118
License
other
Open Issues
4
Most Recent Commit
7 years ago
Programming Language
Haskell
Categories
Repo
Alternatives To Idris Py
Select To Compare
Wire ⭐ 11,658
Compile-time Dependency Injection for Go
dependent packages 1,222total releases 12most recent commit 7 months ago
Grpc Java ⭐ 10,990
The Java gRPC implementation. HTTP/2 based RPC
dependent packages 1,561total releases 150most recent commit 5 months ago
Gqlgen ⭐ 9,705
go generate based graphql server library
dependent packages 895total releases 219most recent commit a month ago
Go Swagger ⭐ 9,119
Swagger 2.0 implementation for go
dependent packages 209total releases 91most recent commit 5 months ago
Tonic ⭐ 8,430
A native gRPC client & server implementation with async/await support.
dependent packages 730total releases 38most recent commit 5 months agocargo tonic} Downloads
Nswag ⭐ 6,500
The Swagger/OpenAPI toolchain for .NET, ASP.NET Core and TypeScript.
dependent packages 301total releases 269most recent commit 2 months agonpm nswag} Downloads


Suggest An Alternative To idris-py
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Haskell
Codegen
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.