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
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆28Updated 5 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆64Updated 8 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 8 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆71Updated 4 years ago
• fosskers / versions
  Haskell types and parsers for software version numbers.
  ☆20Updated this week
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 8 years ago
• NorfairKing / autorecorder
  An automatic declarative ASCIInema recorder
  ☆46Updated last week
• clrnd / latexpad
  A LaTeX Scratchpad for sharing.
  ☆16Updated 7 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 12 years ago
• lambdabot / lambdabot
  A friendly IRC bot and apprentice coder, written in Haskell.
  ☆166Updated 2 weeks ago
• zwade / Befungell
  Effective Multi-threading in Befunge!
  ☆46Updated 7 years ago
• isovector / latex-live-snippets
  deprecated by `design-tools`
  ☆17Updated 7 years ago
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 5 years ago
• andrejbauer / marshall
  Real number computation software
  ☆128Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• SupraSummus / dhall-python
  Work in progress pure python dhall interpreter
  ☆27Updated 6 years ago
• vincenthz / hs-git
  git protocol and storage in pure haskell
  ☆67Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆105Updated 2 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆130Updated last year
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆51Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 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