A library for Proof Theory (especially Proof Compression) in Scala.
☆34Aug 31, 2017Updated 8 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☆111Jun 26, 2026Updated last week
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- A description of the language syntax and associated data, examples, and nonexamples.☆19Dec 10, 2020Updated 5 years ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 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.
- The Snorocket Description Logic classifier for EL++ with concrete domains support☆24Oct 7, 2021Updated 4 years ago
- A flexible tool for the multi-resolution localization of causal variants across the genome☆11Feb 19, 2021Updated 5 years ago
- An Open Encyclopedia of Proof Systems☆125Jul 4, 2022Updated 4 years ago
- Type-safe implementation of Tensor Data Model in Scala.☆19Jul 30, 2023Updated 2 years ago
- sciFLT is a Fuzzy Logic Toolbox for scilab☆11Oct 8, 2019Updated 6 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆14Jul 6, 2023Updated 2 years ago
- Julia package for performing rigorous arithmetic of Imprecise Probabilities with fuzzy numbers☆14Apr 5, 2024Updated 2 years ago
- A BGEN file format reader.☆14Jun 17, 2024Updated 2 years ago
- Tapestry CSRF Protection☆11Sep 23, 2025Updated 9 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Repo for Dynamic Statistical Comparisons project☆13Feb 5, 2024Updated 2 years ago
- Dot notation object for Python☆11Apr 13, 2026Updated 2 months ago
- Enhanced TestNG integration with Xray Test Management for Jira☆10Jan 27, 2026Updated 5 months ago
- ☆11Jul 7, 2020Updated 5 years ago
- Apache Spark based framework for analysis A/B experiments☆15Nov 3, 2024Updated last year
- Entelgy Integration Testing Tool☆10Jul 13, 2017Updated 8 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- time course regulatory analysis from paired gene expression and chromatin accessibility time course data☆11Nov 10, 2023Updated 2 years ago
- Code related to different aspects of conformal learning☆18Jan 28, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Constraint-based Learning with Neural Networks☆15Dec 7, 2020Updated 5 years ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆27Jun 28, 2026Updated last week
- Kotlin Multiplatform Implementation of WASI Preview 1 and Emscripten host functions☆20May 1, 2026Updated 2 months ago
- Design, play with, and analyze sequent calculus proof systems.☆16Sep 5, 2024Updated last year
- Sbt plugin for rendering Scala objects to files. And more!☆21Dec 8, 2023Updated 2 years ago
- Proof of concept of a "linker plugin" enabling some reflection for Scala.js☆12Oct 18, 2016Updated 9 years ago
- Security functionality for interoperability/interaction with core services.☆14Jan 27, 2025Updated last year
- A collection of cds software artefacts in Java language☆13Feb 28, 2025Updated last year
- Implementation of the single-step key derivation function (KDF) as described in NIST Special Publication 800-56C Rev1 supporting messages…☆10Mar 12, 2023Updated 3 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.
- ☆12Mar 13, 2025Updated last year
- A library that adds Kotlin friendly API for brave☆15May 22, 2026Updated last month
- Credici: Credal Inference for Causal Inference☆21May 17, 2025Updated last year
- Parse lightning network payment requests (invoices) in Kotlin.☆21May 27, 2026Updated last month
- Lean type-checker written in Scala.☆42Mar 13, 2022Updated 4 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Main repository for sharing files and documents about OpenDreamKit☆93Oct 9, 2020Updated 5 years ago