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 compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Some benchmarks for Idris☆12Updated 8 years ago
- 🐣 A blog engine written and proven in Coq☆183Updated 6 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- Live Haskell coding problems☆39Updated 10 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- A small Haskell server for generating visual stories based on some ascertainable data about the requester.☆57Updated 13 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- Typed DSLs for sorting☆20Updated 7 years ago
- Programming Language meets UI☆51Updated 8 years ago
- A slack bot that will fetch type signatures via Hoogle☆21Updated 9 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 9 years ago
- Curses bindings package for Idris☆13Updated 7 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆46Updated 10 years ago
- Some standalone stream fusion experiments☆13Updated 9 years ago
- A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data☆14Updated 8 years ago
- Slides and exercises for the Idris course taught at Galois☆51Updated 10 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- 2048 in Idris☆124Updated 8 years ago
- lazy continued fractions☆19Updated 10 years ago
- Self-describing consumers/parsers☆43Updated 7 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago