amsa/fallacy-hunter 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

amsa/fallacy-hunter

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/amsa/fallacy-hunter)

Close

amsa / fallacy-hunterView on GitHubMore

• External links
• Readme badge

Detect logical fallacies in text (POC)

☆14Apr 22, 2015Updated 10 years ago

Alternatives and similar repositories for fallacy-hunter

Users that are interested in fallacy-hunter are comparing it to the libraries listed below

• domdere / fp-in-idris

  View on GitHub
  Functional Programing in Scala (in Idris) [Idris]
  ☆16Mar 23, 2015Updated 10 years ago
• andyarvanitis / idris-cplusplus

  View on GitHub
  Experimental C++11 backend for Idris
  ☆15Nov 29, 2014Updated 11 years ago
• idris-hackers / idris-algebra

  View on GitHub
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Dec 24, 2018Updated 7 years ago
• pnwamk / stop2015-redex

  View on GitHub
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Mar 31, 2015Updated 10 years ago
• GaloisInc / ICryptol

  View on GitHub
  IPython-style interaction for Cryptol
  ☆15Dec 5, 2016Updated 9 years ago
• supki / xmonad-screenshot

  View on GitHub
  Gtk-based screen capturing utility for XMonad.
  ☆25Apr 9, 2025Updated 10 months ago
• thsutton / cha

  View on GitHub
  A port of miniprl to Haskell with co-/inductive types bolted on the side.
  ☆22May 13, 2016Updated 9 years ago
• ericfinster / opetopes-in-agda

  View on GitHub
  Formalization of Opetopes and Opetopic Sets in Agda
  ☆18Dec 15, 2016Updated 9 years ago
• pelotom / purescript-easy-ffi

  View on GitHub
  Easy FFI for PureScript
  ☆35May 24, 2022Updated 3 years ago
• madjar / nixbang

  View on GitHub
  A special shebang to run scripts in a nix-shell
  ☆28Apr 22, 2015Updated 10 years ago
• mietek / charity-lang

  View on GitHub
  Charity language interpreters and literature
  ☆114Feb 15, 2019Updated 7 years ago
• felixSchl / purescript-pipes

  View on GitHub
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Apr 29, 2022Updated 3 years ago
• janestreet / ppx_jane

  View on GitHub
  Standard Jane Street ppx rewriters
  ☆37Jan 15, 2026Updated last month
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• OutliersCollective / Oculus_SNA

  View on GitHub
  ☆14Oct 27, 2014Updated 11 years ago
• garagetinkering / speedo-gauge-lvgl

  View on GitHub
  Dynamic LVGL code for a car RPM / speed gauge on a Waveshare 2.1" ESP32-S3 controller
  ☆19Dec 2, 2024Updated last year
• peterlefanulumsdaine / hott-limits

  View on GitHub
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Jan 11, 2015Updated 11 years ago
• fu-dietersheim / Blockchain

  View on GitHub
  A verified permissioned centralized Blockchain for Isabelle/HOL
  ☆11Feb 3, 2018Updated 8 years ago
• pulibrary / BlueMountain

  View on GitHub
  Project to digitize avant-garde periodicals
  ☆12May 13, 2022Updated 3 years ago
• cdepillabout / nix-reverse-deps-of-haskell-package

  View on GitHub
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Jul 26, 2020Updated 5 years ago
• fmi / ruby-homework-2011

  View on GitHub
  Homework assignments for the Ruby course
  ☆18Dec 21, 2011Updated 14 years ago
• bjhess / what-i-learned

  View on GitHub
  Documenting what I've learned through tech reading
  ☆10Sep 20, 2016Updated 9 years ago
• labichn / hmc

  View on GitHub
  Hindley-Milner with contracts
  ☆11Dec 5, 2015Updated 10 years ago
• tel / scala-tk

  View on GitHub
  General, extensible effect monad for Scala with message-passing semantics
  ☆38Sep 16, 2017Updated 8 years ago
• nwolverson / purescript-aff-promise

  View on GitHub
  ☆43Mar 1, 2023Updated 3 years ago
• CRImier / EEEoma

  View on GitHub
  EEEoma project files ( eeeoma.tk )
  ☆11Jul 5, 2018Updated 7 years ago
• thinkpad20 / rowling

  View on GitHub
  A simple, easily embeddable pure-functional language with static typing and row polymorphism.
  ☆10Jul 9, 2015Updated 10 years ago
• Ergberg / cloudflare-pages-cleanup

  View on GitHub
  Cloudflare worker that automatically deletes old deployments at Cloudflare Pages.
  ☆12Mar 8, 2024Updated last year
• leathekd / grapnel

  View on GitHub
  HTTP request lib for Emacs built on curl with flexible callback dispatch
  ☆14Mar 17, 2025Updated 11 months ago
• mordae / racket-avl

  View on GitHub
  AVL Trees for Racket
  ☆12Jan 7, 2018Updated 8 years ago
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• puffnfresh / purescript-streams

  View on GitHub
  Compositional, streaming I/O library (unfinished)
  ☆13Sep 7, 2015Updated 10 years ago
• fjarri / clojure-scribble

  View on GitHub
  An implementation of Racket's Scribble in Clojure
  ☆22Sep 20, 2013Updated 12 years ago
• shoneslab / nodejs-winrm

  View on GitHub
  Make WinRM service calls from NodeJS
  ☆11Jan 4, 2023Updated 3 years ago
• brain-labs / brain-visualizer

  View on GitHub
  Brain Interpreter and Visualizer Online.
  ☆10Sep 1, 2016Updated 9 years ago
• jordwalke / VimSplitBalancer

  View on GitHub
  ☆13Jan 23, 2017Updated 9 years ago
• cloudify-cosmo / repex

  View on GitHub
  sed on steroids
  ☆10Sep 6, 2023Updated 2 years ago
• FernandoMiguel / TLSguide

  View on GitHub
  SSL/TLS Workshop/Reference Guide
  ☆10May 2, 2018Updated 7 years ago
• totalvoice / TotalVoiceAPI-PHP

  View on GitHub
  Lib PHP para integração com a API TotalVoice
  ☆10Jul 27, 2018Updated 7 years ago