Alternatives and similar repositories for fallacy-hunter:

Users that are interested in fallacy-hunter are comparing it to the libraries listed below

• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• bobatkey / sorting-types
  Typed DSLs for sorting
  ☆19Updated 7 years ago
• snoyberg / vegito
  Some standalone stream fusion experiments
  ☆13Updated 9 years ago
• quephird / space-invaders-ps
  An attempt at porting my space invaders game, originally written in Clojure, to PureScript
  ☆12Updated 9 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• exists-forall / EventualMonad
  A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…
  ☆17Updated 9 years ago
• ziman / idris-benchmarks
  Some benchmarks for Idris
  ☆12Updated 7 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• avieth / Algebraic
  Experiments on the construction of functions
  ☆29Updated 9 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• jstolarek / why-dependent-types-matter
  Companion code for "Why Dependent Types Matter" paper.
  ☆60Updated 6 years ago
• FranklinChen / clojure-transducers-in-haskell
  Clojure transducers in a typed setting, in Haskell
  ☆55Updated 10 years ago
• seantalts / hasktrip
  Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.
  ☆23Updated 6 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• squiggle-lang / squiggle-lang
  NO LONGER IN DEVELOPMENT
  ☆27Updated 9 years ago
• MedeaMelana / JsonGrammar2
  ☆26Updated 8 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• paf31 / purescript-rest
  A toolkit for creating REST services with Node and PureScript
  ☆32Updated 8 years ago
• rodrigogribeiro / idrisregexp
  Regular expression matching in Idris
  ☆11Updated 9 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• UCSD-PL / 230-web
  Website for CSE230
  ☆10Updated 9 years ago
• chrisdone-archive / present
  Make presentations for data types
  ☆25Updated 3 years ago