A Logic Framework in Scala
☆15Aug 13, 2015Updated 10 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☆20Mar 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
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 4 years ago
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 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.
- Scala Monadic Constraint Solver☆17Nov 3, 2014Updated 11 years ago
- Elm Architecture for Scala.js☆11Jul 16, 2016Updated 10 years ago
- A language agnostic collaborative cloud IDE☆19Apr 20, 2015Updated 11 years ago
- ☆22Jun 25, 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
- AnceTran2.0: R package for transcriptome evolution analysis based on RNA-seq expression data or ChIP-seq TF-binding data☆11May 19, 2019Updated 7 years ago
- Facade for the codemirror☆10Jul 15, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Minimum working version of one of Kieran Healy's beautiful LaTeX article templates☆20Dec 11, 2015Updated 10 years ago
- 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
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- Scala library for audio DSP :: io/ugens/filters/analysis :: real-time + offline☆15Jan 11, 2020Updated 6 years ago
- Reactive Sequence Combinators in Scala☆21Jun 10, 2011Updated 15 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
- 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.
- SBT based IntellJ plugin template project☆34Jan 22, 2025Updated last year
- ABAP Scheme☆16Apr 3, 2023Updated 3 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- McKernel: A Library for Approximate Kernel Expansions in Log-linear Time.☆14Sep 3, 2022Updated 3 years ago
- A Scala wrapper around Weka Machine Learning java library☆30Nov 1, 2013Updated 12 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 8 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
- 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.
- Scala multi-client stateful server using Java NIO and Scala continuations☆19Jul 19, 2011Updated 15 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☆62Jun 20, 2026Updated last month
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 4 years ago
- New Harvest in-incubator perfusion system for cellular agriculture and biomedical engineering☆14Oct 23, 2024Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- Graphviz Scala bindings☆54Dec 13, 2016Updated 9 years ago