Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with scala-port

A curated list of projects in awesome lists tagged with scala-port .

https://github.com/newca12/scala-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala

logic scala scala-port

Last synced: 08 Nov 2024