Detect logical fallacies in text (POC)
☆14Apr 22, 2015Updated 11 years ago
Alternatives and similar repositories for fallacy-hunter
Users that are interested in fallacy-hunter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell library for manipulating Java class files☆16Mar 16, 2014Updated 12 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Experimental C++11 backend for Idris☆16Nov 29, 2014Updated 11 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- 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
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- jQuery plugin to guide the user around an html document☆11Sep 28, 2013Updated 13 years ago
- Easy FFI for PureScript☆35May 24, 2022Updated 4 years ago
- Open source software change analyzer☆15Aug 14, 2014Updated 12 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Deploying things with dependencies to AWS EC2☆17Oct 2, 2017Updated 9 years ago
- ☆13May 1, 2023Updated 3 years ago
- Using scrapy for meetups.com☆11Oct 7, 2015Updated 11 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Logical fallacy online detection tools☆20Oct 31, 2022Updated 4 years ago
- arbitrary size integer library in javascript☆12Aug 29, 2017Updated 9 years ago
- Parser combinator library in Scala☆20Aug 29, 2019Updated 7 years ago
- Bioinformatics Algorithms☆16Dec 17, 2013Updated 12 years ago
- Newgrammer Development Tools☆16Apr 29, 2024Updated 2 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated last year
- Livescript microrouting library☆11Jan 24, 2015Updated 11 years ago
- The Scala runtime system for the Ermine programming language☆24Jun 10, 2014Updated 12 years ago
- ☆13Jan 23, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation of Causation Entropy from Clarkson Center for Complex Systems Science (C3S2)☆45Oct 22, 2026Updated last week
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- samples for http://www.graspjs.com/☆13Mar 29, 2024Updated 2 years ago
- The Lectures of the Ruby course in FMI Sofia☆12Aug 2, 2012Updated 14 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 11 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Jul 5, 2015Updated 11 years ago
- a structural templating system for JavaScript programs☆17Jul 3, 2025Updated last year
- A special shebang to run scripts in a nix-shell☆29Apr 22, 2015Updated 11 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 4 years 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.
- Charity language interpreters and literature☆128Feb 15, 2019Updated 7 years ago
- SSL/TLS Workshop/Reference Guide☆10May 2, 2018Updated 8 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Jul 26, 2020Updated 6 years ago
- Points out annoying things in Ruby code☆16Jan 18, 2016Updated 10 years ago
- Homework assignments for the Ruby course☆18Dec 21, 2011Updated 14 years ago
- A collection of codemods to help auto format javascript☆11Jul 30, 2018Updated 8 years ago
- LiveScript tools for Sublime Text 2☆15Sep 17, 2015Updated 11 years ago