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☆103Updated 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
- ☆99Updated 4 months ago
- Some benchmarks for Idris☆12Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆183Updated 6 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- Programming Language meets UI☆51Updated 8 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Live Haskell coding problems☆39Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Epic - a Supercombinator Compiler☆64Updated 10 years ago
- 2048 in Idris☆124Updated 8 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- Totally functional programming literature☆60Updated 6 years ago
- A typeclass-based Prelude.☆109Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Self-describing consumers/parsers☆43Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆52Updated 3 years ago
- Curses bindings package for Idris☆13Updated 7 years ago
- Deprecated in favor of todobackend-haskell☆10Updated 10 years ago
- ☆44Updated 8 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- Mindless, verified (erasably) coding using dependent types☆104Updated 10 years ago
- A slack bot that will fetch type signatures via Hoogle☆21Updated 9 years ago
- Slides and exercises for the Idris course taught at Galois☆51Updated 10 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 9 years ago