weaversa / cryptol-java-client

Java client for remote-cryptol-api

cryptol-java-client

A Java language client for cryptol-remote-api (https://github.com/GaloisInc/argo)

About

Java client for remote-cryptol-api

BSD 3-Clause "New" or "Revised" License

Languages

Language:Java 99.4%Language:Makefile 0.6%