1. 4
    Programming Language Foundations in Agda plt plfa.github.io
    gluegadget avatar via gluegadget 26 days ago | cached | no comments
  2. 27
    Eta Programming Language ☶ programming eta-lang.org
    gluegadget avatar via gluegadget 1 year ago | cached | 10 comments
  3. 30
    Haskell in the Datacentre haskell simonmar.github.io
    gluegadget avatar via gluegadget 1 year ago | cached | 6 comments
  4. 17
    Microsoft Fortifies Commitment to Open Source, Becomes Linux Foundation Platinum Member linux linuxfoundation.org
    gluegadget avatar via gluegadget 1 year ago | cached | 9 comments
  5. 16
    Mutable Value Chains databases joearms.github.io
    gluegadget avatar via gluegadget 3 years ago | cached | 4 comments
  6. 27
    CLion — intelligent cross-platform C/C++ IDE c jetbrains.com
    gluegadget avatar via gluegadget 4 years ago | cached | 5 comments