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:
- Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala☆14May 6, 2019Updated 7 years ago
- Visualizes Scala's internal pickle meta-data☆10Dec 23, 2015Updated 10 years ago
- 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…☆11May 13, 2016Updated 10 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 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.
- Scala/Spark reference implementation of the Teckel v3.0 specification — declarative YAML ETL pipelines on Apache Spark.☆12Apr 15, 2026Updated 6 months ago
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- A Scala compiler plugin that issues warnings when boxing occurs.☆10Oct 12, 2012Updated 14 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 10 years ago
- Convergent and Commutative Replicated Data Types for Scala☆15Feb 9, 2014Updated 12 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- A language agnostic collaborative cloud IDE☆20Apr 20, 2015Updated 11 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.
- Experiments with implicit macros from scalamacros/kepler.☆14Feb 2, 2013Updated 13 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Library to generate file thumbnails in Scala☆13Apr 30, 2021Updated 5 years ago
- A port of gears.c to Scala using Scala Native☆15Sep 26, 2018Updated 8 years ago
- Evaluating high order derivative tensors directly via reverse mode AD in Cpp.☆10May 11, 2017Updated 9 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- AnceTran2.0: R package for transcriptome evolution analysis based on RNA-seq expression data or ChIP-seq TF-binding data☆12May 19, 2019Updated 7 years ago
- Deliberately restricted pickling library for Scala☆15Oct 5, 2016Updated 10 years ago
- Minimum working version of one of Kieran Healy's beautiful LaTeX article templates☆20Dec 11, 2015Updated 10 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.
- Facebook MCP server for automating posts, comment moderation, insights, and sentiment filtering.☆13Jun 19, 2025Updated last year
- ShEx expressions in Scala☆11Nov 19, 2016Updated 9 years ago
- Scala-based 2D Engine and Framework☆13Mar 20, 2013Updated 13 years ago
- A bioinformatics library for Scala☆12Feb 22, 2017Updated 9 years ago
- sbt plugin to create a class diagram☆99Oct 18, 2026Updated last week
- Scala library for audio DSP :: io/ugens/filters/analysis :: real-time + offline☆15Jan 11, 2020Updated 6 years ago
- Open-source web app for listening to music collaboratively☆11Jun 25, 2013Updated 13 years ago
- SBT based IntellJ plugin template project☆34Jan 22, 2025Updated last year
- C as an Embedded Language in Scala☆18Dec 17, 2014Updated 11 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.
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- A Graph Database Operator☆14Nov 10, 2012Updated 13 years ago
- Scala implementation for JSON-RPC and Language Server Protocol☆20Jan 19, 2019Updated 7 years ago
- 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
- Serialise and deserialise classes using scala.meta☆16Sep 20, 2017Updated 9 years ago
- Provides various cryptographic functions for scala.☆13Mar 7, 2019Updated 7 years ago