Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
☆117Jun 6, 2018Updated 7 years ago
Alternatives and similar repositories for Natural_Logic_Interpreter
Users that are interested in Natural_Logic_Interpreter are comparing it to the libraries listed below
Sorting:
- ☆43Jul 26, 2015Updated 10 years ago
- Collection of Election Nepal Project Data in CSV Format☆15Apr 22, 2022Updated 3 years ago
- Online code compiler. Uses python on the backend and xterm.js terminal emulator on the frontend. Useful for online (code) judges, program…☆14Nov 12, 2018Updated 7 years ago
- Workshop introducing to Pandas☆16Aug 17, 2017Updated 8 years ago
- Nepali Ngram corpus☆16Jan 11, 2016Updated 10 years ago
- 🏃 WIP: 💸 Bot que baixa os PDFs dos boletos para pagar e coloca em um lugar pra eu ganhar tempo☆12Mar 28, 2019Updated 6 years ago
- Simple neural network in Python☆61Feb 27, 2017Updated 9 years ago
- One often has so many movies on his hard drive that he/she is unable to choose which one to watch, this app scans through the movies and …☆34May 29, 2017Updated 8 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆601Feb 24, 2020Updated 6 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago
- Clone of ActiveRecord::Inflect. Originally created by Chris Farmiloe. Updated to use with Go 1.☆29Jul 23, 2014Updated 11 years ago
- Named routes for the express framework that are shared between the server and the browser☆13Dec 31, 2013Updated 12 years ago
- ☆24Jan 2, 2014Updated 12 years ago
- A clock screensaver in terminal☆10Dec 20, 2014Updated 11 years ago
- Tool to extract news articles from newspaper and give the context about the news☆214Aug 17, 2017Updated 8 years ago
- YoutTube Caption API Python example converted to Python 3☆60Apr 3, 2017Updated 8 years ago
- Open Data Index website☆45Mar 16, 2018Updated 7 years ago
- Get facebook events from location with Python 3☆38Nov 22, 2017Updated 8 years ago
- Your friendly neighbourhood script for mangling images or video using audio editing tools☆874Aug 15, 2018Updated 7 years ago
- A Probot extenstion to make it easier to run your Probot Apps on Zeit Now v2☆10Mar 2, 2023Updated 3 years ago
- C library containing high resolution timer implementation for several platforms.☆10Oct 20, 2020Updated 5 years ago
- Code and templates required to build the DARPA open catalog.☆17Mar 23, 2016Updated 9 years ago
- This is my resume.☆40Jan 28, 2018Updated 8 years ago
- Learn Python Django Web☆53Sep 29, 2019Updated 6 years ago
- Firefox addon to turn any web page into a typing excercise☆12Apr 30, 2015Updated 10 years ago
- Multifunctional Event-driven Expert in Real-time Assistance☆17Feb 11, 2026Updated 2 weeks ago
- An interpreter of well-formed formulas in propositional calculus.☆10Jan 5, 2015Updated 11 years ago
- A Node.js wrapper around the DocumentCloud API.☆12Apr 7, 2017Updated 8 years ago
- Ping IP addresses and domains in parallel to find the accessible and inaccessible ones.☆54Feb 9, 2023Updated 3 years ago
- ☆10Sep 14, 2017Updated 8 years ago
- ☆53Mar 23, 2017Updated 8 years ago
- Code for the Kaggle Marinexplore challenge☆17Apr 8, 2013Updated 12 years ago
- ☆11Oct 3, 2015Updated 10 years ago
- Chrome extension for github, shows details of pull requests related to a commit☆15Apr 14, 2017Updated 8 years ago
- UVA command line client to upload solutions and search for statistics☆10Dec 23, 2016Updated 9 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 9 years ago
- Fabric tasks to provision infrastructure and deploy Flask web applications☆108Nov 27, 2017Updated 8 years ago
- Dives deep into the dom and dumps it in the object literal notation.☆57Dec 6, 2022Updated 3 years ago
- Logic Programming in Python☆925Oct 23, 2025Updated 4 months ago