JarCasting

JarCasting

en
- en_US
- ru_RU
- en_IN
Contacts

Top 100 Java Libraries

Categories

Languages
- Java 8
- JavaScript
- Java
- Groovy
- Kotlin
- Scala
- Clojure
- Python
- Ruby
Development Tools
Jakarta EE
Business Logic Libraries
Container
General Purpose Libraries
User Interface
- Web Frameworks
- Charts
- GUI
- JavaFX
- CLI
Program Interface
- REST Frameworks
Data
- Databases
- Caching
- Data Structures
- JSON
- ORM
- PDF
- Data Formats
Net
- HTTP Clients
- Networking
Security
- OAuth2
- Apache Shiro
- Bouncy Castle
- Cryptomator
- Hdiv
- jjwt
- Jwks RSA
- Kalium
- Keycloak
- Keywhiz
- Nbvcxz
- OACC
- OTP-Java
- pac4j
- Password4j
- SecurityBuilder
- SSLContext-Kickstart
- Themis
- Tink
Application Layer Libs
Unit Testing
- JUnit
- Mockito
- TestNG
- PowerMock
Build Tools
Application Testing & Monitoring

Java Libs
Maven Plugins
Archetypes

Home
Java Libraries
org.idris-lang

Project Group: org.idris-lang

Idris Java RTS

org.idris-lang : idris

Runtime System for the Idris Java Backend

Last Version: 0.9.14

Release Date: Jun 7, 2014

1

JarCasting

Terms and Conditions of Use

Top 100 Java Libraries

Hosted by:

HostingRaja®
Hetzner®
VDSina.ru
FirstByte

GeoDNS Provider:

G-Core Labs

Project «JarCasting»

All product names, logos, and brands are property of their respective owners. All company, product and service names used in this website are for identification purposes only. Use of these names, logos, and brands does not imply endorsement.

Build № 235.168.214.95