adamchalmers/carroll external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

adamchalmers/carroll

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/adamchalmers/carroll)

Close

adamchalmers / carrollView on GitHubMore

• External links
• Readme badge

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

• smartfastlabs / equals

  View on GitHub
  Fuzzy equality objects for testing, a stricter version of Mock.Any.
  ☆37Jan 8, 2026Updated last month
• ayancey / dirmon

  View on GitHub
  Cross-platform library to poll directories for changes (added/removed)
  ☆70Feb 23, 2015Updated 11 years ago
• mayureshwaykole / gity

  View on GitHub
  The Git magician for Python
  ☆28Jun 7, 2015Updated 10 years ago
• savvastj / nfl_draft

  View on GitHub
  ☆13Jun 29, 2016Updated 9 years ago
• jmcarp / guardrail

  View on GitHub
  ☆49Jun 20, 2017Updated 8 years ago
• paradoxxxzero / cutter

  View on GitHub
  Python list cutter tool
  ☆35Mar 2, 2016Updated 10 years ago
• kdheepak / c3.py

  View on GitHub
  Commit Counter Chart is a Python Flask app to view git history using D3.js
  ☆39Apr 4, 2016Updated 9 years ago
• trevorstephens / catch22

  View on GitHub
  Visualizing Joseph Heller's Catch-22
  ☆20May 26, 2015Updated 10 years ago
• tryexceptpass / sofi-debugger

  View on GitHub
  ☆22Sep 1, 2016Updated 9 years ago
• seanjtaylor / NFLRanking

  View on GitHub
  Ranking NFL teams
  ☆48Apr 3, 2013Updated 12 years ago
• mixxorz / ok-redis

  View on GitHub
  Object-Key Mapper for Redis
  ☆20Apr 20, 2021Updated 4 years ago
• HuddleEng / puppeteer-extensions

  View on GitHub
  Convenience functions for the Puppeteer
  ☆25Mar 4, 2023Updated 3 years ago
• yuhengh / candycrushcrack

  View on GitHub
  Unlock level without hassle in Candy Crush Saga
  ☆22Sep 5, 2017Updated 8 years ago
• jakevdp / travis-python-template

  View on GitHub
  Small template for setting up Travis CI with Python
  ☆30Mar 27, 2017Updated 8 years ago
• BharatKalluri / lyricfetcher

  View on GitHub
  A Package/API/Command Line application to search lyrics from different web sources
  ☆28Aug 6, 2022Updated 3 years ago
• python / psf-chef

  View on GitHub
  Chef configuration and cookbooks for the Python Software Foundation
  ☆46Feb 13, 2020Updated 6 years ago
• b6d / lima

  View on GitHub
  Lightweight Marshalling of Python 3 Objects.
  ☆51May 12, 2015Updated 10 years ago
• caioariede / pyintercept

  View on GitHub
  Intercept function calls from Python scripts
  ☆33Mar 2, 2016Updated 10 years ago
• reddragon / is-dirty

  View on GitHub
  A very naive classifier to figure out if a sentence contains dirty words
  ☆33Jul 7, 2015Updated 10 years ago
• scastillo / siesta

  View on GitHub
  Sit back, relax and enjoy your REST client for python
  ☆99Jan 9, 2017Updated 9 years ago
• luke14free / sentipy

  View on GitHub
  Social Sentiment Analysis Python Library
  ☆21May 6, 2013Updated 12 years ago
• haxsaw / errator

  View on GitHub
  Create human-readable exception narrations for your libraries and end-user programs.
  ☆31Feb 5, 2021Updated 5 years ago
• yspanchal / docli

  View on GitHub
  Digital Ocean Command Line Interface
  ☆33May 22, 2023Updated 2 years ago
• Parsely / schemato

  View on GitHub
  Modularly extensible semantic metadata validator
  ☆85Dec 10, 2015Updated 10 years ago
• andrewginns / Easy-Finetune-LLM-with-Autotrain-Adv

  View on GitHub
  Simple repo to finetune an LLM hosted on Hugging Face by creating a LORA
  ☆11Dec 20, 2023Updated 2 years ago
• maateen / py-url-shortener

  View on GitHub
  Py URL Shortener is a Python powered Flask app implementing a technique in which a Uniform Resource Locator (URL) has been made substanti…
  ☆35Feb 14, 2021Updated 5 years ago
• ed-roh / master-css

  View on GitHub
  ☆13Nov 25, 2024Updated last year
• desmarais-lab / polnet_tutorial

  View on GitHub
  Tutorial for the 2018 PolNet Workshop, "Introduction to Network Analysis Using R". To follow along with the workshop, clone or download, …
  ☆11Jun 5, 2018Updated 7 years ago
• elizabetht / StudentEnrollmentWithSpring

  View on GitHub
  ☆17Dec 10, 2013Updated 12 years ago
• chadlung / pywebhooks

  View on GitHub
  PyWebhooks - A Webhooks Service
  ☆86Feb 10, 2019Updated 7 years ago
• mwfrojdman / ammoo

  View on GitHub
  Pythonic AMQP library for asyncio
  ☆11Sep 12, 2018Updated 7 years ago
• zoraidacallejas / sandra

  View on GitHub
  Speech ANDroid Apps
  ☆20Jan 22, 2014Updated 12 years ago
• lisancao / lakehouse-at-home

  View on GitHub
  A fully open-source, self-hostable data lakehouse for local development and testing of modern data workflows
  ☆33Jan 26, 2026Updated last month
• digidotcom / python-streamexpect

  View on GitHub
  Python library providing cross-platform text matching for generic streams and sockets
  ☆41Feb 22, 2024Updated 2 years ago
• lkesteloot / scrabble

  View on GitHub
  Python program to play Scrabble
  ☆15Mar 27, 2021Updated 4 years ago
• walidsa3d / routerpass

  View on GitHub
  Find your router's default password
  ☆14Apr 7, 2015Updated 10 years ago
• FCrSTATS / R_basics

  View on GitHub
  ☆11Nov 8, 2018Updated 7 years ago
• sadasystems / covid19-healthcare-chatbot

  View on GitHub
  COVID19 Healthcare Chatbot
  ☆11Sep 1, 2021Updated 4 years ago
• derkan / flask-locale

  View on GitHub
  Implements i18n and l10n support for Flask.
  ☆42Oct 20, 2021Updated 4 years ago