Scallina

scala functional-programming

A Coq-based synthesis of Scala programs which are correct-by-construction

How to download and setup Scallina

Open terminal and run command

git clone https://github.com/JBakouny/Scallina.git

git clone is used to create a copy or clone of Scallina repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with Scallina https://github.com/JBakouny/Scallina/archive/master.zip

Or simply clone Scallina with SSH

[email protected]:JBakouny/Scallina.git

If you have some problems with Scallina

You may open issue on Scallina support forum (system) here: https://github.com/JBakouny/Scallina/issues

Similar to Scallina repositories

Here you may see Scallina alternatives and analogs

awesomo Functional-Light-JS elm-cheat-sheet codeworld cyclejs OpenComputers playframework deeplearning4j pragmatapro gitbucket beakerx scala-exercises intellij-rainbow-brackets mal arl translations not-awesome-es6-classes funfix monix elastic4s alpakka-kafka phantom cyclops sttp kmq play-ws akka-grpc akka-streams-in-practice finagle sbt-jmh