Alternatives and similar repositories for popl2014-papers

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

• yallop / popl2015-papers
  Accepted papers for POPL 2015
  ☆66Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 8 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 9 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆74Updated 11 months ago
• gasche / icfp2013-papers
  List of ICFP'13 accepted papers, with links to preprint or additional information when available
  ☆72Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• MateVM / MateVM
  A Java JIT compiler written in Haskell
  ☆72Updated 11 years ago
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 years ago
• gasche / popl2016-papers
  Links to publicly available preprints for the POPL'16 conference
  ☆120Updated 8 years ago
• nuprl / hopl-s2017
  History of Programming Languages, Spring 2017
  ☆137Updated 7 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 7 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 2 years ago
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 4 years ago
• NicolasT / kontiki
  An implementation of the Raft consensus protocol
  ☆121Updated 2 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• softmechanics / warp
  A fast, light-weight web server for WAI applications.
  ☆42Updated 14 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• robbertkrebbers / ch2o
  ☆89Updated 3 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• hanazuki / miniml
  Tiny ML interpreter
  ☆16Updated 11 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago