Alternatives and similar repositories for TheProofIsTrivial

Users that are interested in TheProofIsTrivial are comparing it to the libraries listed below

• yamadapc / haskell-drawille
  Port of asciimoo/drawille to haskell.
  ☆26Updated 2 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• nixkoans / nixkoans
  Nix package manager and Nix programming language
  ☆11Updated 9 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• TomSmeets / FractalArt
  Generate colorful wallpapers!
  ☆88Updated 2 years ago
• clrnd / latexpad
  A LaTeX Scratchpad for sharing.
  ☆16Updated 6 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆122Updated last year
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 4 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆142Updated 7 months ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated 4 months ago
• haskell-party / feed
  Haskell package for handling various feed (RSS) formats.
  ☆31Updated last year
• vincenthz / hs-git
  git protocol and storage in pure haskell
  ☆66Updated 3 years ago
• mrkkrp / identicon
  Flexible generation of identicons in Haskell
  ☆16Updated 8 months ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 7 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 3 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• nh2 / haskell-ordnub
  Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.
  ☆34Updated 5 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆62Updated last year
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 4 years ago
• dorchard / co519-logic
  Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.
  ☆18Updated 5 years ago