Alternatives and similar repositories for markdown-papers

Users that are interested in markdown-papers are comparing it to the libraries listed below

• PromyLOPh / pesto
  Repository moved to codeborg.org, see below.
  ☆43Updated 4 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• jamesbornholt / z3-ios
  run z3 on iOS for some reason
  ☆38Updated 2 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• GaloisInc / ICryptol
  IPython-style interaction for Cryptol
  ☆15Updated 8 years ago
• n3mo / massmine
  Your Access To Data
  ☆73Updated 3 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆19Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• scizzorz / rain
  A programming language.
  ☆21Updated 7 years ago
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• erezsh / lambdaX
  Partial evaluation for Python with syntactic sugar
  ☆36Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆51Updated 7 years ago
• rvantonder / pentaquine
  5-way multiquine
  ☆50Updated 12 years ago
• k-bx / par
  Small utility that runs multiple computations in parallel
  ☆41Updated 5 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆61Updated 2 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• dbp / howtoprovefullabstraction
  Writeup that goes along with this:
  ☆15Updated 7 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• leanprover / tc
  Reference type checker for the Lean theorem prover
  ☆62Updated 8 years ago
• proglang / ldgv
  Label dependent dependent session types
  ☆16Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• sjoerdvisscher / HueAPI
  Haskell API for controlling Phillips Hue lights
  ☆15Updated 9 years ago