Alternatives and similar repositories for isabelle-scala

Users that are interested in isabelle-scala are comparing it to the libraries listed below

• drdozer / graphviz-s

  View on GitHub
  Graphviz Scala bindings
  ☆54Dec 13, 2016Updated 9 years ago
• criteo / socco

  View on GitHub
  A Scala compiler plugin to generate documentation from Scala source files.
  ☆20Oct 18, 2021Updated 4 years ago
• nrinaudo / kantan.regex

  View on GitHub
  Regular expression library for Scala
  ☆23Feb 5, 2025Updated last year
• zio / zio-ftp

  View on GitHub
  A simple, idiomatic (S)FTP client for ZIO
  ☆28Jan 4, 2026Updated last month
• shawjef3 / Harmony

  View on GitHub
  Scalaz and Cats compatibility
  ☆21Oct 25, 2017Updated 8 years ago
• tmtsoftware / icd

  View on GitHub
  ICD - Interface Control Document Management
  ☆13Sep 7, 2025Updated 5 months ago
• rorygraves / scalac_perf

  View on GitHub
  The Scala programming language
  ☆16Mar 31, 2023Updated 2 years ago
• bzhan / auto2

  View on GitHub
  A best-first-search theorem prover implemented in Isabelle
  ☆36Jul 18, 2022Updated 3 years ago
• int128 / gitbucket-docker

  View on GitHub
  GitBucket Docker Image
  ☆10Jul 17, 2024Updated last year
• dmurfet / polysemantics

  View on GitHub
  Polynomial semantics of linear logic
  ☆13Apr 15, 2018Updated 7 years ago
• ishiura-compiler / Orange3

  View on GitHub
  pre-release.
  ☆12Jul 15, 2015Updated 10 years ago
• Pier-CMS / Pier3

  View on GitHub
  Pier3 is a CMS - http://www.piercms.com/
  ☆11Updated this week
• eed3si9n / learning-scalaz

  View on GitHub
  ☆47Jul 5, 2017Updated 8 years ago
• larsrh / libisabelle

  View on GitHub
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Sep 25, 2020Updated 5 years ago
• ghostm / lift_blank_heroku

  View on GitHub
  A blank Lift app ready for Heroku
  ☆22Sep 5, 2013Updated 12 years ago
• Verizon / mutatis

  View on GitHub
  Kafka consumer & producer for scalaz-stream
  ☆12Dec 15, 2017Updated 8 years ago
• AlexITC / play-request-tracer

  View on GitHub
  A module for Play! framework that allows to trace a request flow easily.
  ☆11Oct 7, 2017Updated 8 years ago
• delving / hub3

  View on GitHub
  RDF discovery and publication platform
  ☆10Jan 30, 2026Updated 2 weeks ago
• jducoeur / shocon

  View on GitHub
  Pure-Scala implementation of HOCON, suitable for cross-platform use
  ☆10May 29, 2017Updated 8 years ago
• massemanet / abets

  View on GitHub
  Append-only B+tree Erlang Term Storage (pure disk based)
  ☆18Dec 5, 2017Updated 8 years ago
• DanNisenson / trello-client

  View on GitHub
  ☆10Feb 2, 2023Updated 3 years ago
• sabel83 / metatest

  View on GitHub
  Testing framework for C++ template metaprograms
  ☆11May 12, 2015Updated 10 years ago
• sbt / sbt-pamflet

  View on GitHub
  sbt plugin to run Pamflet (and Pamflet plugin to run sbt)
  ☆11Jan 15, 2017Updated 9 years ago
• monix / shade

  View on GitHub
  Memcached client for Scala
  ☆106Mar 18, 2021Updated 4 years ago
• filecoin-project / rust-fil-sector-builder

  View on GitHub
  ☆13Jun 7, 2022Updated 3 years ago
• bbarker / scalajs-mapbox

  View on GitHub
  A Scala.js interface to Mapbox and related APIs, like Leaflet.js.
  ☆11Apr 3, 2017Updated 8 years ago
• ximagination80 / Comparator

  View on GitHub
  Matcher for json and json template. Can help you with testing of REST API, Database, 3d party systems etc
  ☆15Apr 24, 2021Updated 4 years ago
• gvolpe / hll-algorithm-sample

  View on GitHub
  HLL Algorithm and Web Scraping sample
  ☆10Sep 29, 2015Updated 10 years ago
• indutny / tokio-lock

  View on GitHub
  Access an object from a single Tokio task
  ☆13Feb 17, 2019Updated 7 years ago
• lloydmeta / freAST

  View on GitHub
  Fast, simple Free Monads using ScalaMeta macro annotations. Port of Freasy-Monad.
  ☆14Oct 16, 2017Updated 8 years ago
• mreid / injuce

  View on GitHub
  A small personal project to learn Clojure by implementing some simple machine learning algorithms
  ☆29Oct 12, 2009Updated 16 years ago
• lastland / scala-forklift-quill

  View on GitHub
  A demonstration of using Scala-Forklift to support database migrations on Quill.
  ☆12Dec 17, 2015Updated 10 years ago
• TheoreticalEcosystemEcology / alien

  View on GitHub
  Predict All Links In Ecological Networks
  ☆13Dec 9, 2021Updated 4 years ago
• tpunder / fm-flatfile

  View on GitHub
  Scala Library for Reading Flat File Data (CSV/TSV/XLS/XLSX)
  ☆11Jul 13, 2023Updated 2 years ago
• valters / play-acme-protocol

  View on GitHub
  Instantly set up Let's Encrypt HTTPS certificate for your PlayFramework app and start serving HTTPS.
  ☆11Mar 2, 2017Updated 8 years ago
• flaxsearch / solr-es-comparison

  View on GitHub
  ☆18Dec 17, 2015Updated 10 years ago
• dandroid88 / webmote

  View on GitHub
  An extensible home automation framework
  ☆70Sep 30, 2015Updated 10 years ago
• jrfoell / campfire-libpurple

  View on GitHub
  A Campfire protocol plugin for libpurple (Pidgin)
  ☆48Apr 4, 2013Updated 12 years ago
• ThoughtWorksInc / Constructor.scala

  View on GitHub
  Mixin classes and traits dynamically
  ☆10Sep 4, 2017Updated 8 years ago