Alternatives and similar repositories for Papers

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

• mietek / sf
  Mirror of Software Foundations in PDF
  ☆304Updated 5 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 8 years ago
• sajith / cs-papers
  Ye Olde Computer Science Scrolls!
  ☆105Updated 9 years ago
• uhub / awesome-coq
  A curated list of awesome Coq frameworks, libraries and software.
  ☆234Updated this week
• jeanqasaur / jeeves
  Python implementation of the Jeeves programming language.
  ☆338Updated 7 years ago
• sahands / simple-sat
  Simple recursive and iterative SAT solver written in Python.
  ☆123Updated 6 years ago
• REMath / mit_16.399
  MIT's abstract interpretation class taught by Cousot
  ☆40Updated 11 years ago
• philzook58 / z3_tutorial
  Jupyter notebooks for tutorial on the Z3 SMT solver
  ☆166Updated 2 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 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…
  ☆236Updated 5 years ago
• Mzk-Levi / texts
  ☆173Updated 10 years ago
• aistrate / Articles
  Various interesting articles, in PDF or PS form
  ☆239Updated 12 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆216Updated 4 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆256Updated 15 years ago
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆113Updated 2 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 9 years ago
• ops-class / os161
  ops-class.org OS/161 sources.
  ☆136Updated 5 years ago
• mmjb / T2
  T2 Temporal Prover
  ☆96Updated 7 years ago
• rems-project / netsem
  Network Semantics
  ☆91Updated 7 years ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆167Updated 4 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 4 months ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆721Updated 2 months ago
• project-everest / mitls-fstar
  Verified implementation of TLS 1.3 in F*
  ☆179Updated 11 months ago
• GaloisInc / cryptol
  Cryptol: The Language of Cryptography
  ☆1,195Updated this week
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆125Updated 3 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• derekmcloughlin / pearls
  Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
  ☆191Updated 9 years ago
• soimort / wiki
  ☆81Updated 7 years ago