☆10Dec 13, 2010Updated 15 years ago
Alternatives and similar repositories for Propositional-Logic-Parser
Users that are interested in Propositional-Logic-Parser are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- wrappers to invoke JSLint from the command line [*deprecated* - see README]☆11May 29, 2011Updated 15 years ago
- Dotfiles for Khan Academy website developers.☆14Jan 11, 2023Updated 3 years ago
- A CommonJS module implementation in Ruby for client-side JavaScript☆12Feb 20, 2011Updated 15 years ago
- The University of Waterloo's Public Data API☆14Jan 25, 2011Updated 15 years ago
- A https://lobste.rs clone, semi-closed dev process for now.☆12Aug 3, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Sep 14, 2024Updated 2 years ago
- A library for modeling loads and costs for heat pumps, furnaces, air conditioners etc☆13Apr 30, 2024Updated 2 years ago
- I use Makefile as a sort of command dispatcher/secondary memory, this is a repo of the common ones I keep reusing☆17Jun 8, 2018Updated 8 years ago
- Synchronization primitives for both web and native.☆17Jan 19, 2024Updated 2 years ago
- A plugin of NERDTree showing git status☆15Jan 9, 2019Updated 7 years ago
- Chrome extensions that adds the option to view diffs side-by-side in Github.☆17Oct 28, 2013Updated 12 years ago
- *nix config files: bash, vim (w/ plugins), screen, etc☆25Updated this week
- python library for the sc2ranks api☆17Nov 12, 2012Updated 13 years ago
- Python documentation browser☆25Feb 14, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A utility to let you use modern web technologies when building your PhoneGap apps.☆15Feb 18, 2017Updated 9 years ago
- Intro to D3.js☆12Feb 13, 2016Updated 10 years ago
- Stupid simple site "blocker" Chrome extension.☆21Oct 1, 2026Updated 3 weeks ago
- Nano templating engine for Javascript strings and DOM Elements☆23Feb 21, 2011Updated 15 years ago
- ☆23Jul 15, 2010Updated 16 years ago
- Elm plugin for Vim☆20Feb 10, 2022Updated 4 years ago
- Wrapper around arcanist for vim☆22Jul 20, 2015Updated 11 years ago
- ☆21Aug 23, 2022Updated 4 years ago
- The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…☆77Aug 11, 2026Updated 2 months ago
- 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.
- [ARCHIVED] Extensions for asynchronous programming in F#☆44Apr 8, 2015Updated 11 years ago
- Engineers Without Borders Canada's online community software. Based off of pinax.☆24Oct 18, 2011Updated 15 years ago
- A Vim plugin that adds a :Qargs utility command, for populating the argument list from the files in the quickfix list, and a :Qdo command…☆29Nov 13, 2014Updated 11 years ago
- A simple C++ class hierarchy analyzer☆12Oct 29, 2015Updated 10 years ago
- React Native Simple Progress Bar☆16Nov 30, 2017Updated 8 years ago
- ☆28Jun 3, 2018Updated 8 years ago
- Code collection for the Stanford Online Introduction to Artificial Intelligence class☆60Oct 18, 2011Updated 15 years ago
- ☆11Oct 8, 2026Updated 2 weeks ago
- Create OpenOffice.org (impress) slideshows from restructured text (rst) or python☆27May 5, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A workshop on how to select your data for annotation☆12Jul 20, 2021Updated 5 years ago
- Command-line corpus tools☆12May 15, 2017Updated 9 years ago
- A comparison of Python's mocking and other test double libraries☆28Oct 28, 2015Updated 10 years ago
- "What's This?" - Learning to Segment Unknown Objects from Manipulation Sequences☆11Jun 17, 2021Updated 5 years ago
- All notebook for FastAI learning purposes.☆13Jun 11, 2019Updated 7 years ago
- ☆18Jul 14, 2018Updated 8 years ago
- Tools to Work with the 'Postlight' 'Mercury' 'API' — https://mercury.postlight.com/web-parser/ — in R☆11Mar 25, 2019Updated 7 years ago