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 12 years ago
- A Javascript First-Order Logic (FOL) proof verifier☆11Oct 19, 2017Updated 9 years ago
- Pier3 is a CMS☆11Updated this week
- A Scala compiler plugin to generate documentation from Scala source files.☆20Oct 18, 2021Updated 5 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple, idiomatic (S)FTP client for ZIO☆29Sep 29, 2026Updated last month
- kgio provides non-blocking I/O methods for Ruby☆13Dec 16, 2011Updated 14 years ago
- Java wrapper for the ZIO scala library☆11Mar 31, 2021Updated 5 years ago
- GitBucket Docker Image☆10Jul 17, 2024Updated 2 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Scala Powered Lisp☆12Jun 8, 2014Updated 12 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
- Benchmarks for scalac☆68Sep 26, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Scalaz and Cats compatibility☆21Oct 25, 2017Updated 9 years ago
- The Security Automation Toolkit☆11Nov 8, 2024Updated last year
- Regular expression library for Scala☆25Feb 5, 2025Updated last year
- 🚀 Validation DSL for data pipelines☆25Jun 12, 2018Updated 8 years ago
- alias names for java types☆16Oct 27, 2026Updated last week
- Kafka Streams for Scala with ZIO☆14Jul 21, 2021Updated 5 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- ☆17Apr 3, 2025Updated last year
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 9 years ago
- AI Agents on 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.
- A functional API for auction simulations☆13May 28, 2018Updated 8 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
- Probabilistic programming in Scala☆33Jan 28, 2014Updated 12 years ago
- Access an object from a single Tokio task☆13Feb 17, 2019Updated 7 years ago
- painless Github client☆14Sep 4, 2015Updated 11 years ago
- My solutions to concrete semantics☆11Sep 20, 2017Updated 9 years ago
- ☆13Jun 7, 2022Updated 4 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 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.
- Type class based library to read / write XML☆16Jul 1, 2020Updated 6 years ago
- ☆10Jun 28, 2011Updated 15 years ago
- ☆77Nov 28, 2020Updated 5 years ago
- Semantic Differential Repair☆11Oct 31, 2014Updated 12 years ago
- Telegram markdown sanitizer☆11Dec 30, 2023Updated 2 years ago
- Managing Git submodules is monotonous and — more importantly — interruptive work. Managing your dependencies shouldn't keep you from bein…☆12Jun 1, 2022Updated 4 years ago
- Scala Math - Numerical (Matlab-like) and Symbolic (Mathematica-like) tool☆73Nov 25, 2019Updated 6 years ago