amsa / fallacy-hunter
Detect logical fallacies in text (POC)
☆14Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for fallacy-hunter
- A lazy specializing virtual machine for purely functional languages☆101Updated 6 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 8 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆16Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Using QuickCheck to test functions in other languages/environments.☆32Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆99Updated 8 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- Haskell Parser and printer for bencoded data.☆15Updated 4 years ago
- Totally functional programming literature☆60Updated 5 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆67Updated 14 years ago
- The theme for LD31 was "Entire Game on One Screen"☆29Updated 7 years ago
- Generate flow charts from your code base.☆15Updated 9 years ago
- Self-describing consumers/parsers☆42Updated 6 years ago
- Some standalone stream fusion experiments☆14Updated 8 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- a simple functional language for learners☆30Updated 7 years ago
- Convert between pointfree and pointful Haskell expressions.☆49Updated 8 years ago
- Typed DSLs for sorting☆19Updated 6 years ago
- Clojure-style transients for Haskell☆32Updated 2 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
- Curses bindings package for Idris☆13Updated 5 years ago