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
- Downloads all of the lectures and most of the course materials for the various classes for the Oregon Programming Languages Summer School☆9Updated 9 years ago
- Some benchmarks for Idris☆12Updated 7 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 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
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- A tool for formally verifying Haskell code in Agda☆28Updated 8 years ago
- ☆98Updated 7 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆45Updated 9 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22Updated 9 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Some standalone stream fusion experiments☆13Updated 9 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A slack bot that will fetch type signatures via Hoogle☆21Updated 9 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
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Updated 8 years ago
- Experiments on the construction of functions☆29Updated 9 years ago
- Clojure-style transients for Haskell☆32Updated 3 years ago
- Live Haskell coding problems☆39Updated 9 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- ▁▂▃▅▂▇ Plot time series in your terminal in real-time☆43Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A toolkit for creating REST services with Node and PureScript☆32Updated 8 years ago