Page 37 of 6562 results
-
leoprover/scala-tptp-parser 1.7.4
A parser for the TPTP logic languages for automated theorem proving written in Scala
Scala versions: 2.13 -
djspiewak/parseback 0.3
A Scala implementation of parsing with derivatives
Scala versions: 2.12 2.11 -
arturopala/scala-xml-security 1.2.0
XML Security library for Scala - handy tool for easy signing, verifying, encrypting and decrypting XML documents
Scala versions: 2.12 -
47degrees/github4s 0.33.3
A GitHub API wrapper written in Scala
Scala versions: 3.x 2.13 2.12Scala.js versions: 1.x