☆90Feb 29, 2020Updated 6 years ago
Alternatives and similar repositories for aima-scala
Users that are interested in aima-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:
- Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects☆14Feb 4, 2019Updated 7 years ago
- Scala wrapper generator for interop with C, C++, Objective-C, and script languages.☆15Oct 9, 2020Updated 6 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated last year
- Python to Scala Transpiler using Neural Machine Translation☆14Feb 20, 2019Updated 7 years ago
- Working on quarkus framework in scala☆19Mar 18, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quantum computing framework for Java and Scala developers.☆27Updated this week
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 3 years ago
- Experiments with symbolic functions in the Scala type system☆27Jun 17, 2019Updated 7 years ago
- ☆11Oct 23, 2023Updated 3 years ago
- A wrapper of the IPFS Client HTTP-API for Scala.☆36May 1, 2025Updated last year
- implicit monad support for scala (using delimited continuations)☆14Sep 8, 2010Updated 16 years ago
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- Shape-safe TensorFlow in Dotty☆48Jan 6, 2023Updated 3 years ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 12 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 8 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆23Sep 26, 2026Updated last month
- ☆14Oct 23, 2017Updated 9 years ago
- ScalaTest + JMock provides integration support between ScalaTest and Mockito.☆17Sep 15, 2026Updated last month
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated last year
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- Immutable/persistent functional data-structures which can transparently spill to disk.☆13Sep 13, 2012Updated 14 years ago
- LIDA Software Framework☆10Nov 21, 2014Updated 11 years ago
- Executable documentation for Scala projects. Let your users write specifications in human-readable HTML, then run them as tests against y…☆21Feb 27, 2020Updated 6 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.
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Jun 25, 2018Updated 8 years ago
- Convergent and Commutative Replicated Data Types for Scala☆15Feb 9, 2014Updated 12 years ago
- Typesafe, purely functional Computational Intelligence☆125Apr 30, 2026Updated 6 months ago
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79May 25, 2022Updated 4 years ago
- Crazy Simple Logging for Scala☆24Jul 29, 2015Updated 11 years ago
- A scala implementation of Support Vector Machines☆17Dec 4, 2013Updated 12 years ago
- Tesiting Various Dotty Features☆16Mar 1, 2021Updated 5 years ago
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Sep 15, 2020Updated 6 years ago
- ☆20Jun 16, 2020Updated 6 years 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.
- Datalog implementation in Scala.☆12Jun 17, 2014Updated 12 years ago
- miniKanren for search, SMT for solving☆13Oct 20, 2019Updated 7 years ago
- Scala Algebra System☆20Updated this week
- Bringing Spire to Dotty/Scala 3☆14Feb 19, 2024Updated 2 years ago
- The Cubicle model checker☆14May 29, 2026Updated 5 months ago
- Boiler plate framework to use Spark and ZIO together.☆176Nov 6, 2025Updated 11 months ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago