A library for Proof Theory (especially Proof Compression) in Scala.
☆34Aug 31, 2017Updated 9 years ago
Alternatives and similar repositories for Skeptik
Users that are interested in Skeptik are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GAPT: General Architecture for Proof Theory☆112Oct 23, 2026Updated 3 weeks ago
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- scalaz friendly immutable Array, NonEmptyArray☆14Updated this week
- 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.
- purescript-frp-rabbit☆13Jun 17, 2015Updated 11 years ago
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- Bidirectional theoretically-sound iteratee-like pipelines in Scala with Scalaz☆11Jul 15, 2013Updated 13 years ago
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆127Jun 1, 2023Updated 3 years ago
- a small nonblocking, functional XMPP library☆14May 29, 2014Updated 12 years ago
- An Open Encyclopedia of Proof Systems☆127Jul 4, 2022Updated 4 years ago
- Updating immutable objects in generic contexts.☆13Nov 28, 2017Updated 8 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.
- Mixfix add-on for Scala parser combinators☆11Jan 19, 2012Updated 14 years ago
- When Code Reacts to Data: demonstrating a dataflow programming style with scalaz-streams☆11May 16, 2014Updated 12 years ago
- ☆12May 16, 2013Updated 13 years ago
- Playing with Monad Transformers in scala☆10May 21, 2013Updated 13 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- Force-directed graph layout implementation in Scala☆25Apr 4, 2017Updated 9 years ago
- Scala wrapper for ZK's Async Api. ( Using Akka 2.0.x Futures )☆13Mar 19, 2014Updated 12 years ago
- Experiments with implicit macros from scalamacros/kepler.☆14Feb 2, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 7 years ago
- Shapelaysson = Shapeless + Play-Json☆22Feb 27, 2013Updated 13 years ago
- ☆23May 19, 2016Updated 10 years ago
- Building infinite sequences from anonymous functions using tuples and macros.☆14Sep 16, 2014Updated 12 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 8 years ago
- Type-safe implementation of Tensor Data Model in Scala.☆19Jul 30, 2023Updated 3 years ago
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 13 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆15Jul 6, 2023Updated 3 years ago
- A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala☆16May 13, 2013Updated 13 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.
- Proving Ground: Tools for Automated Mathematics☆205Sep 5, 2021Updated 5 years ago
- EU Solid Control Home page☆13Aug 29, 2023Updated 3 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 12 years ago
- My list of followership scammers on GitHub.☆17Jul 29, 2026Updated 3 months ago
- sciFLT is a Fuzzy Logic Toolbox for scilab☆11Oct 8, 2019Updated 7 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
Are these results useful?