Alternatives and similar repositories for Papers

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

• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated last month
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆209Updated 3 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 10 years ago
• mietek / sf
  Mirror of Software Foundations in PDF
  ☆303Updated 4 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆165Updated 4 years ago
• soimort / wiki
  ☆79Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆122Updated 3 years ago
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆231Updated 4 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆171Updated 6 years ago
• leanprover / logic_and_proof_lean3
  CMU Undergrad Course
  ☆97Updated 2 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆109Updated last year
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆125Updated 2 months ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆161Updated last year
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆189Updated 9 years ago
• ilyasergey / pnp
  Lecture notes for a short course on proving/programming in Coq via SSReflect.
  ☆169Updated 4 years ago
• rems-project / netsem
  Network Semantics
  ☆88Updated 6 years ago
• math-comp / mcb
  Mathematical Components (the Book)
  ☆146Updated last year
• dterei / Research-Papers
  Collection of various research papers I find interesting
  ☆84Updated 9 years ago
• Mzk-Levi / texts
  ☆160Updated 10 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆116Updated 5 months ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆123Updated 10 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• rocq-community / math-classes
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆166Updated 2 months ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆689Updated last year
• bringhurst / tlaplus
  ☆27Updated 11 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆42Updated 9 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆172Updated 7 months ago