Alternatives and similar repositories for papers:

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

• sfischer13 / awesome-frege
  Useful resources for the Frege programming language
  ☆30Updated 3 years ago
• yogsototh / Category-Theory-Presentation
  An Haskell oriented introduction to Category Theory (with basket of cats!)
  ☆63Updated 5 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• sfischer13 / awesome-eta
  Useful resources for the Eta programming language
  ☆63Updated 3 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆96Updated 5 months ago
• Paradoxika / Skeptik
  A library for Proof Theory (especially Proof Compression) in Scala.
  ☆34Updated 7 years ago
• BinRoot / Haskell-Lectures
  Introduction to Haskell, CS 1501 Lecture slides
  ☆49Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• haskell-distributed / distributed-process-demos
  Cloud Haskell Demonstration
  ☆18Updated 9 years ago
• realworldocaml / scripts
  Command-line utilities for Real World OCaml
  ☆16Updated 6 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆63Updated 2 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆119Updated 2 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• VerbalExpressions / HaskellVerbalExpressions
  ☆63Updated 6 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• soimort / wiki
  ☆79Updated 6 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆122Updated 2 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 3 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 5 years ago