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 7 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/☆11Mar 10, 2026Updated 2 weeks ago
- 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 with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple, idiomatic (S)FTP client for ZIO☆28Feb 26, 2026Updated last month
- Java wrapper for the ZIO scala library☆11Mar 31, 2021Updated 4 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☆13May 31, 2017Updated 8 years ago
- alias names for java types☆15Mar 21, 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
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆17Apr 3, 2025Updated 11 months ago
- 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☆18Nov 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Type class based library to read / write XML☆16Jul 1, 2020Updated 5 years ago
- painless Github client☆13Sep 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
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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☆24Jan 15, 2026Updated 2 months ago
- 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 4 years ago