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.
  ☆27Updated last year
• aslatter / xhb
  ☆12Updated 9 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• jldodds / coq-lean-cheatsheet
  A quick reference for mapping Coq tactics to Lean tactics
  ☆72Updated 4 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• wilbowma / mttex
  A LaTeX package for formatting meta-theory.
  ☆46Updated 4 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• fmthoma / ascii-art-to-unicode
  Small program to convert ASCII box art to Unicode box drawings.
  ☆60Updated 8 years ago
• conal / MemoTrie
  Trie-based memo functions
  ☆92Updated 3 months ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• uds-psl / coq-library-complexity
  ☆31Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• cokmett / cokmett
  Because Kmett is not expressive enough. You need CoKmett!
  ☆35Updated 11 years ago
• ktvoelker / standalone-haddock
  Generate standalone haddock documentation for a set of packages
  ☆27Updated 4 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• UlfNorell / insane
  Toy typechecker for Insanely Dependent Types
  ☆79Updated 11 years ago
• nh2 / haskell-ordnub
  Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.
  ☆33Updated 4 years ago
• jyp / topics
  Various interesting topics I'm looking at
  ☆13Updated 15 years ago
• byorgey / species
  ☆17Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• mr-ohman / logrel-mltt
  A Logical Relation for Martin-Löf Type Theory in Agda
  ☆54Updated 8 months ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 7 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 7 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• PLSysSec / lio
  Labeled IO Library
  ☆57Updated 4 years ago
• TheoWinterhalter / formal-type-theory
  Formalising Type Theory in a modular way for translations between type theories
  ☆95Updated 7 years ago
• dnlkrgr / hsreduce
  Minimizing Haskell programs for easier debugging of GHC compiler crashes
  ☆22Updated 3 years ago