Carroll is a command-line tool for classical logic.
☆33Mar 31, 2015Updated 10 years ago
Alternatives and similar repositories for carroll
Users that are interested in carroll are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fuzzy equality objects for testing, a stricter version of Mock.Any.☆37Jan 8, 2026Updated 2 months ago
- Cross-platform library to poll directories for changes (added/removed)☆70Feb 23, 2015Updated 11 years ago
- python memoize module☆15Apr 8, 2016Updated 9 years ago
- Graphical frontend of Android Debug Bridge (adb)☆13Oct 12, 2016Updated 9 years ago
- ☆49Jun 20, 2017Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Git magician for Python☆28Jun 7, 2015Updated 10 years ago
- PythonOpenScad is yet another OpenSCAD script/model generator with Python syntax.☆36Jul 6, 2025Updated 8 months ago
- A selectable, scrollable list interface for terminal applications built using curses☆10Jun 30, 2015Updated 10 years ago
- Commit Counter Chart is a Python Flask app to view git history using D3.js☆39Apr 4, 2016Updated 9 years ago
- A dmenu frontend to pass with clipboard and autotype functionality for user and password.☆28Nov 25, 2020Updated 5 years ago
- A small configuration library written in Haskell☆18Oct 12, 2019Updated 6 years ago
- A multiplatform clone of Puush☆10Dec 11, 2012Updated 13 years ago
- My "fork" of Adrian Thurston's syntax file☆15Dec 23, 2017Updated 8 years ago
- Maze algorithms implemented in JavaScript - many maze generators and tiling patterns☆16Oct 2, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Displays an interactive graph based on data from pipe.☆13Jul 3, 2020Updated 5 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- Modularly extensible semantic metadata validator☆85Dec 10, 2015Updated 10 years ago
- An experiment in presenting geometry☆20Updated this week
- Useful tools for working with iterators☆167Jan 27, 2017Updated 9 years ago
- Ayat.js - Generate Quranic Verses by Topics, Languages, Reciters and other Options☆19Mar 29, 2024Updated last year
- ☆16Nov 26, 2023Updated 2 years ago
- Python module for RESTful resource representation using MIME Media-Types and the Flask Microframework☆70Oct 18, 2013Updated 12 years ago
- A pass extension that allows to add files to password-store. https://www.passwordstore.org/☆17Mar 28, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Trie implementation of a CIDR lookup table☆18May 20, 2015Updated 10 years ago
- CNC controller without RT kernel requirements☆13Sep 21, 2019Updated 6 years ago
- Digital Ocean Command Line Interface☆33May 22, 2023Updated 2 years ago
- Create human-readable exception narrations for your libraries and end-user programs.☆31Feb 5, 2021Updated 5 years ago
- Automatic object-YAML mapping for Python.☆26Mar 23, 2019Updated 7 years ago
- rainbow server reference implementation, in python☆16Jan 19, 2015Updated 11 years ago
- Object-Key Mapper for Redis☆20Apr 20, 2021Updated 4 years ago
- Dependency injection in python #di #python☆56Mar 5, 2018Updated 8 years ago
- Encrypt environment variables and passwords for use with Travis CI☆17Dec 5, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Jun 29, 2016Updated 9 years ago
- Store the progress of a job☆16Sep 21, 2017Updated 8 years ago
- Pure-python 3D wireframe renderer☆29Dec 24, 2019Updated 6 years ago
- server frame☆18Sep 27, 2017Updated 8 years ago
- Simple yet capable caching decorator for python☆158Aug 9, 2017Updated 8 years ago
- HTTP client for Open API☆60Jul 15, 2016Updated 9 years ago
- Convenience functions for the Puppeteer☆25Mar 4, 2023Updated 3 years ago