amsa / fallacy-hunter
Detect logical fallacies in text (POC)
☆14Updated 9 years ago
Alternatives and similar repositories for fallacy-hunter:
Users that are interested in fallacy-hunter are comparing it to the libraries listed below
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- A slack bot that will fetch type signatures via Hoogle☆21Updated 8 years ago
- 2048 in Idris☆121Updated 7 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆17Updated 9 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.☆15Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 9 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- Some benchmarks for Idris☆12Updated 7 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆16Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- A small implementation of type inference☆78Updated 9 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 9 years ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- An IRC analysis server.☆81Updated 6 years ago
- Static blog generator in Idris.☆39Updated 10 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago
- Some standalone stream fusion experiments☆13Updated 8 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago