A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclipse projects to work with Scala IDE for Eclipse.
☆15Jul 10, 2014Updated 12 years ago
Alternatives and similar repositories for isabelle-scala
Users that are interested in isabelle-scala are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- A Scala compiler plugin to generate documentation from Scala source files.☆20Oct 18, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Pier3 is a CMS - http://www.piercms.com/☆12Jul 22, 2026Updated last week
- A simple, idiomatic (S)FTP client for ZIO☆29Feb 26, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Java wrapper for the ZIO scala library☆11Mar 31, 2021Updated 5 years ago
- Cuis Smalltalk version 6.2 Stable Release☆14Mar 6, 2024Updated 2 years ago
- Implementation of QA Networks☆10Jul 14, 2016Updated 10 years ago
- GitBucket Docker Image☆10Jul 17, 2024Updated 2 years ago
- Optimize the order of execution for tf.einsum☆14May 31, 2017Updated 9 years ago
- Regular expression library for Scala☆24Feb 5, 2025Updated last year
- ☆17Apr 3, 2025Updated last year
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Kafka Streams for Scala with ZIO☆14Jul 21, 2021Updated 5 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 8 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago
- A simple PHP framework for very small sites☆16Apr 29, 2015Updated 11 years ago
- A functional API for auction simulations☆13May 28, 2018Updated 8 years ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- PyOpenCL ZCash miner☆15Sep 21, 2016Updated 9 years ago
- painless Github client☆14Sep 4, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My solutions to concrete semantics☆11Sep 20, 2017Updated 8 years ago
- Type class based library to read / write XML☆16Jul 1, 2020Updated 6 years ago
- A boilerplate for publishing books as Jekyll blogs☆20Nov 30, 2025Updated 7 months ago
- ☆13Jun 7, 2022Updated 4 years ago
- Memcached client for Scala☆107Mar 18, 2021Updated 5 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 7 months ago
- Managing Git submodules is monotonous and — more importantly — interruptive work. Managing your dependencies shouldn't keep you from bein…☆11Jun 1, 2022Updated 4 years ago
- CoNLL 2015 Shared Task - Utility functions and classes in python☆16May 29, 2015Updated 11 years ago
- Tool and library implementing patience diff☆23Jul 10, 2026Updated 2 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Telegram markdown sanitizer☆11Dec 30, 2023Updated 2 years ago
- Vue Onsen navigator example☆14Aug 25, 2016Updated 9 years ago
- Appointment finder for GNIB (Ireland)☆13May 23, 2020Updated 6 years ago
- GitOps repository template☆22Updated this week
- ☆18Apr 6, 2021Updated 5 years ago
- Chess-inspired MMO with tick-based, kill-the-king combat☆13Jan 11, 2016Updated 10 years ago
- Rust bindings for libstrophe a C library for XMPP client and component communication☆11Jun 15, 2017Updated 9 years ago