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
Sorting:
- The Snorocket Description Logic classifier for EL++ with concrete domains support☆24Oct 7, 2021Updated 4 years ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- Reasonable Python is a module which adds F-Logic to Python☆26Jul 5, 2011Updated 14 years ago
- A browser-based XMPP client for the modern times (WIP)☆20Jan 22, 2015Updated 11 years ago
- ☆25Aug 7, 2017Updated 8 years ago
- A type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- Tapestry CSRF Protection☆11Sep 23, 2025Updated 5 months ago
- ☆24Jun 25, 2025Updated 8 months ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 9 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Jul 20, 2024Updated last year
- Lists of Unicode mathematical symbols and latex commands☆36Aug 28, 2022Updated 3 years ago
- Address book-like application to manage contact information.☆40Oct 10, 2018Updated 7 years ago
- The Single Source of Truth for Your Data Model: Description, Code Generation, and Documentation☆15Oct 11, 2025Updated 4 months 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
- A function invocation framework for Python☆11Feb 21, 2024Updated 2 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Main repository for sharing files and documents about OpenDreamKit☆91Oct 9, 2020Updated 5 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- Helper library to test error cases with Cassandra db☆10Jul 27, 2017Updated 8 years ago
- A Reactive Sparql Client written in Scala and Akka☆13Sep 18, 2023Updated 2 years ago
- python simulation interface for molecular modeling. To cite this software publication: https://www.sciencedirect.com/science/article/pii/…☆13Aug 24, 2016Updated 9 years ago
- Etomica is a molecular simulation framework written in Java, developed at the Department of Chemical & Biological Engineering at the Uni…☆16Updated this week
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- Collection of GIS Resources☆13Jan 13, 2015Updated 11 years ago
- Python wrapper of a Rust CEL implementation☆29Feb 8, 2026Updated 3 weeks ago
- wwPDB PDBx/mmCIF Dictionary☆10Jan 28, 2026Updated last month
- Web forms for Clojure and ClojureScript - rendering, parsing, and validating☆10Dec 3, 2015Updated 10 years ago
- OLAMI API Java client library and sample codes☆10May 20, 2022Updated 3 years ago
- extendable field for use in Django Models☆29May 7, 2023Updated 2 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Adaptive File Source Connector for Spark, optimised for reading from object stores☆15Oct 18, 2022Updated 3 years ago