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
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆17Updated 10 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Resources from the Polyconf 2015 talk & relational interpreters workshop☆16Updated 9 years ago
- A PureScript prelude with more features.☆30Updated 7 years ago
- Programming Language meets UI☆51Updated 7 years ago
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 8 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 12 years ago
- Deprecated in favor of todobackend-haskell☆10Updated 9 years ago
- Shell developed with LiveScript☆26Updated 9 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Updated 10 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago
- An attempt at porting my space invaders game, originally written in Clojure, to PureScript☆12Updated 9 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆69Updated 14 years ago
- A small implementation of type inference☆78Updated 10 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- A tiny DSL for HTML5 Canvas☆34Updated 6 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago
- evaluation using f-algebras☆23Updated 9 years ago
- Generate flow charts from your code base.☆15Updated 9 years ago
- lazy continued fractions☆19Updated 9 years ago