Popular repositories Loading

1. sbt-bom sbt-bom Public

   Scala 2 2

2. spark-cassandra-connector spark-cassandra-connector Public

   Forked from apache/cassandra-spark-connector

   DataStax Spark Cassandra Connector

   Scala

3. network-case network-case Public

   Forked from developers-against-repressions/network-case

   Python

4. berlin-software-verification-meetup berlin-software-verification-meetup Public

   Forked from stanislaw/berlin-software-verification-meetup

   Berlin Software Verification Meetup (Berlin, but online meetups are also planned, see the Program).

   Coq

5. idris-playground idris-playground Public

   Idris

6. haskell-playground haskell-playground Public

   Haskell