Page 40 of 3069 results
-
dominique-unruh/scala-isabelle 0.4.3
A Scala library for controlling/interacting with Isabelle
Scala versions: 2.13 2.12 -
kovacshuni/koauth 2.1.0
:closed_lock_with_key: OAuth 1.0a provider and consumer library for Scala & Java, storage independent/pluggable, async/reactive, designed to be used within a completely RESTful API.
Scala versions: 2.13 -
zhongwm/cable 0.4.1
Functional, Practical, a scala ssh library
Scala versions: 2.13 -
weso/rdfshape-api 0.2.14
API for validating and transforming RDF, ShEx, SHACL and more.
Scala versions: 2.13 -
ironcorelabs/recrypt 6.0.1
Transform encryption library for Scala
Scala versions: 2.13 2.12