amsa / fallacy-hunterLinks
Detect logical fallacies in text (POC)
☆14Updated 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
Sorting:
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- 2048 in Idris☆123Updated 7 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Some benchmarks for Idris☆12Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 10 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆17Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- ☆98Updated 7 years ago
- An IRC analysis server.☆81Updated 7 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Updated 13 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- Regular expression matching in Idris☆11Updated 9 years ago
- Some standalone stream fusion experiments☆13Updated 9 years ago
- Curses bindings package for Idris☆13Updated 6 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Epic - a Supercombinator Compiler☆65Updated 10 years ago