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/☆11Updated this week
- A simple, idiomatic (S)FTP client for ZIO☆29Feb 26, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- 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.
- 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 9 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 11 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 9 months ago
- ☆13Jun 7, 2022Updated 4 years ago
- Memcached client for Scala☆106Mar 18, 2021Updated 5 years ago
- Combinatorial phantom types for discrete mathematics☆16Dec 26, 2025Updated 8 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 last month
- 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.
- Telegram markdown sanitizer☆11Dec 30, 2023Updated 2 years ago
- Vue Onsen navigator example☆14Aug 25, 2016Updated 10 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