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 11 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:
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- A Scala compiler plugin to generate documentation from Scala source files.☆20Oct 18, 2021Updated 4 years ago
- Pier3 is a CMS - http://www.piercms.com/☆12Apr 9, 2026Updated last week
- Implementation of QA Networks☆10Jul 14, 2016Updated 9 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years 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.
- A simple, idiomatic (S)FTP client for ZIO☆29Feb 26, 2026Updated last month
- 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
- GitBucket Docker Image☆10Jul 17, 2024Updated last year
- Optimize the order of execution for tf.einsum☆14May 31, 2017Updated 8 years ago
- alias names for java types☆15Apr 8, 2026Updated last week
- Regular expression library for Scala☆23Feb 5, 2025Updated last year
- Append-only B+tree Erlang Term Storage (pure disk based)☆18Dec 5, 2017Updated 8 years ago
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆17Apr 3, 2025Updated last year
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- Kafka Streams for Scala with ZIO☆14Jul 21, 2021Updated 4 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
- A functional API for auction simulations☆13May 28, 2018Updated 7 years ago
- A simple PHP framework for very small sites☆16Apr 29, 2015Updated 10 years ago
- A boilerplate for publishing books as Jekyll blogs☆19Nov 30, 2025Updated 4 months ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- My solutions to concrete semantics☆11Sep 20, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Type class based library to read / write XML☆16Jul 1, 2020Updated 5 years ago
- painless Github client☆14Sep 4, 2015Updated 10 years ago
- ☆13Jun 7, 2022Updated 3 years ago
- Memcached client for Scala☆107Mar 18, 2021Updated 5 years ago
- CoNLL 2015 Shared Task - Utility functions and classes in python☆16May 29, 2015Updated 10 years ago
- PyOpenCL ZCash miner☆15Sep 21, 2016Updated 9 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 3 months ago
- Managing Git submodules is monotonous and — more importantly — interruptive work. Managing your dependencies shouldn't keep you from bein…☆11Jun 1, 2022Updated 3 years ago
- Telegram markdown sanitizer☆11Dec 30, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Vue Onsen navigator example☆14Aug 25, 2016Updated 9 years ago
- giter8 template used to start new ZIO projects for the ZIO organization☆21Nov 16, 2023Updated 2 years ago
- ☆19Mar 1, 2023Updated 3 years ago
- Tool and library implementing patience diff☆23Apr 6, 2026Updated last week
- Heroku buildpack to install Julia☆14Dec 8, 2018Updated 7 years ago
- hacking on the stanford natural language inference (SNLI) corpus (in theano)☆15Aug 28, 2016Updated 9 years ago
- ☆18Apr 6, 2021Updated 5 years ago