A Logic Framework in Scala
☆15Aug 13, 2015Updated 11 years ago
Alternatives and similar repositories for warthog
Users that are interested in warthog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Interprocedural Static Analysis Engine for Scala☆19Mar 8, 2013Updated 13 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 10 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 4 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.
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 10 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- A language agnostic collaborative cloud IDE☆20Apr 20, 2015Updated 11 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Convergent and Commutative Replicated Data Types for Scala☆15Feb 9, 2014Updated 12 years ago
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 11 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- Minimum working version of one of Kieran Healy's beautiful LaTeX article templates☆20Dec 11, 2015Updated 10 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.
- Deliberately restricted pickling library for Scala☆15Oct 5, 2016Updated 9 years ago
- A port of gears.c to Scala using Scala Native☆15Sep 26, 2018Updated 7 years ago
- Reactive Sequence Combinators in Scala☆21Jun 10, 2011Updated 15 years ago
- Scala library for audio DSP :: io/ugens/filters/analysis :: real-time + offline☆15Jan 11, 2020Updated 6 years ago
- The missing Zip library for Java☆21Nov 1, 2020Updated 5 years ago
- Lock-free (Non-blocking) Data Structures in Java☆13Dec 30, 2015Updated 10 years ago
- Scala implementation for JSON-RPC and Language Server Protocol☆20Jan 19, 2019Updated 7 years ago
- SBT based IntellJ plugin template project☆34Jan 22, 2025Updated last year
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 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 Parboiled2 based Parser for the W3C RDF 1.1 TriG-, Turtle-, N-Triples- and Quad-Languages for Scala, Java and JavaScript☆10Sep 5, 2017Updated 9 years ago
- A Scala wrapper around Weka Machine Learning java library☆30Nov 1, 2013Updated 12 years ago
- Virtual DOM for scala.☆19Mar 15, 2018Updated 8 years ago
- Provides various cryptographic functions for scala.☆13Mar 7, 2019Updated 7 years ago
- Yet another immutable XML DOM-like API☆26Feb 4, 2022Updated 4 years ago
- Scala multi-client stateful server using Java NIO and Scala continuations☆20Jul 19, 2011Updated 15 years ago
- GPU programming in Scala☆62May 17, 2012Updated 14 years ago
- A scala implementation of Support Vector Machines☆17Dec 4, 2013Updated 12 years ago
- Yuck is a local-search constraint solver with FlatZinc interface☆63Sep 12, 2026Updated last week
- 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.
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- New Harvest in-incubator perfusion system for cellular agriculture and biomedical engineering☆15Oct 23, 2024Updated last year
- TradingSimulation is a modular framework designed for back-testing trading strategies.☆10May 19, 2015Updated 11 years ago
- Serialise and deserialise classes using scala.meta☆16Sep 20, 2017Updated 9 years ago
- ☆11Aug 17, 2012Updated 14 years ago
- Client for the Cromwell workflow engine☆17Mar 7, 2024Updated 2 years ago
- Elysium - any place or state of perfect happiness; paradise.☆21Dec 27, 2017Updated 8 years ago