Stars
64
Forks
14
Language
Haskell
Last Updated
Jun 11, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Ruby | 2 | like tryruby but for propositional logic. | Jan 18, 2014 | |
Haskell | 4 | A theorem prover for intuitionistic propositional logic | Mar 26, 2023 | |
JavaScript | 4 | Visual interactive proof assistant for propositional logic | Sep 29, 2022 | |
Agda | 12 | A Library for Classical Propositional Logic in Agda | Jan 18, 2022 | |
OCaml | 9 | Proof checker for natural deduction in propositional logic | Dec 29, 2020 | |
Python | 3 | Python library for parsing & generating sitemaps | Dec 29, 2015 | |
Python | 2 | Python code for parsing the RealityMining dataset in Python using numpy/scipy. | Dec 06, 2022 | |
OCaml | 3 | Automated theorem prover for propositional logic. Written in OCaml. | Jan 06, 2023 | |
Common Lisp | 3 | A validator for simple propositional logic written in Lisp | Apr 13, 2023 | |
Standard ML | 6 | Certified proof checker for Fitch-style propositional logic proofs | Feb 09, 2023 | |
Jupyter Notebook | 4 | This repository contains Python code for analysing Indian Air Quality dataset taken from Kaggle | Nov 06, 2019 | |
Python | 24 | the code for generating REGRAD dataset | May 04, 2023 | |
Python | 135 | This repository contains code and metadata of How2 dataset | May 26, 2023 | |
Jupyter Notebook | 68 | This repo contains the code for generating the ToxiGen dataset, published at ACL 2022. | Aug 03, 2022 | |
Python | 34 | Generating Dataset for Google's Text Summarization Code | Nov 21, 2019 | |
Python | 3 | Python package for parsing and generating KOF files | Jan 28, 2023 | |
Python | 2 | Python package for parsing and generating JSON feeds. | Dec 01, 2023 | |
Python | 22 | This repository contains the dataset and the source code for the detection of visual relationships … | Jan 10, 2023 | |
Python | 3 | This repository contains dataset and | Nov 10, 2023 | |
Python | 8 | This repository contains the code for Multiclass Segmentation on the human faces using Landmark Guided … | Apr 21, 2023 | |
C++ | 8 | Repository for URDF parsing code | Feb 15, 2022 | |
C++ | 49 | Repository for URDF parsing code | Jul 24, 2022 | |
Java | 4 | This repository contains the backend las2peer service for generating code from models. | May 01, 2022 | |
Python | 150 | This repository contains the code for "Generating Datasets with Pretrained Language Models". | Oct 07, 2022 | |
Python | 2 | This repository contains the code for "Generating Datasets with Pretrained Language Models". | Jun 12, 2021 | |
Python | 9 | Code for generating a single image pretraining dataset | Apr 28, 2022 | |
Python | 11 | The TaskBench500 dataset and code for generating tasks. | Aug 01, 2022 | |
Swift | 8 | QR code kit for both generating and parsing a QR code | Mar 07, 2022 | |
None | 3 | This repository contains the iCubWorld dataset. | Oct 25, 2018 | |
Python | 2 | parsing the Python deps and generating graph data | Sep 19, 2020 | |
Mustache | 2 | Repository contains templates for generating Aspose.BarCode for Cloud SDKs | Dec 19, 2021 | |
Python | 3 | This repository contains an AWS Lambda function written in Python for parsing HL7v2 messages | Jun 24, 2022 | |
Python | 2 | Python code for generating autoglyphs | Nov 14, 2021 | |
Python | 16 | python library for generating and parsing IIIF Image API URLs | Mar 15, 2022 | |
Python | 5 | Python library for parsing, manipulating, and generating BridgePoint xtUML models | Sep 13, 2019 | |
Python | 13 | Python library for generating and parsing RFC 3339-compliant timestamps. | Jan 09, 2023 | |
TeX | 16 | A self-contained implementation of forward and backward inference for intuitionistic propositional logic | May 23, 2022 | |
C | 74 | This repository contains several examples of logic bomb. | Aug 12, 2022 | |
HCL | 4 | This repository contains deployment templates for Sumo Logic combo solutions. | Jul 23, 2022 | |
Python | 70 | [CoRL 2022] This repository contains code for generating relevancies, training, and evaluating Semantic Abstraction. | May 04, 2023 | |
Rust | 3 | Macros for generating a boilerplate code for parsing Ton ABI tokens | Oct 25, 2021 | |
Python | 227 | This repository contains multiple approaches for generating global racetrajectories. | Aug 13, 2022 | |
Jupyter Notebook | 58 | This repository contains multiple approaches for generating global racetrajectories. | May 06, 2023 | |
Ruby | 2 | This repository contains the source code for the Double Pendulum Chaotic Dataset web page | Apr 05, 2022 | |
Python | 15 | This repository contains the code for Lung segmentation using Montgomery dataset in TensorFlow 2.0. | Nov 28, 2022 | |
Python | 25 | This repository contains Python 2.7 scripts for parsing MFS/MFSB partition and extracting contained files. | Jan 25, 2022 | |
Jupyter Notebook | 2 | Project code for textual entailment research in UCI | Mar 05, 2022 | |
Java | 2 | This repository contains all the important resources for the Boa dataset for Github Python projects. | Apr 17, 2023 | |
None | 4 | This repository contains the data for the INE dataset. | Apr 17, 2023 | |
Python | 3 | sample code for parsing the Hershey vector fonts in Python. Also Hershey data in JSON. | Oct 21, 2021 |