1. 2
    Built in mapping for more powerful, intuitive, code ☶ pdf plt github.com
    doublec avatar via doublec 5 months ago | cached | no comments
  2. 9
    An Oz Implementation using Truffle and Graal pdf programming info.ucl.ac.be
    doublec avatar via doublec 6 months ago | cached | 12 comments
  3. 7
    Capturing program invariants in ATS formalmethods programming bluishcoder.co.nz
    doublec avatar authored by doublec 7 months ago | cached | no comments
  4. 6
    Effective ATS: Streamization and Stream-Processing in Parallel programming ats-lang.sourceforge.net
    doublec avatar via doublec 7 months ago | cached | no comments
  5. 16
    Writing basic proofs in ATS formalmethods programming bluishcoder.co.nz
    doublec avatar authored by doublec 7 months ago | cached | no comments
  6. 5
    Casting in ATS programming bluishcoder.co.nz
    doublec avatar authored by doublec 7 months ago | cached | no comments
  7. 11
    Cross Compiling ATS Programs programming bluishcoder.co.nz
    doublec avatar authored by doublec 8 months ago | cached | no comments
  8. 18
    ZeroMe - Decentralized Microblogging on ZeroNet web bluishcoder.co.nz
    doublec avatar authored by doublec 10 months ago | cached | 2 comments
  9. 14
    Using the J Foreign Function Interface programming bluishcoder.co.nz
    doublec avatar authored by doublec 11 months ago | cached | 4 comments
  10. 9
    J interpreter in the browser (via emscripten) programming joebo.github.io
    doublec avatar via doublec 11 months ago | cached | 1 comment
  11. 4
    What positive benefits arise from use of tor hidden services privacy medium.com
    doublec avatar via doublec 11 months ago | cached | 1 comment
  12. 10
    Crash into ATS programming ats-lang.sourceforge.net
    doublec avatar via doublec 1 year ago | cached | 8 comments
  13. 13
    Updates on the ATS2 programming language 2017 slides programming slideshare.net
    doublec avatar via doublec 1 year ago | cached | no comments
  14. 3
    Reference Capabilities, Consume and Recover in Pony programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | no comments
  15. 9
    Insecurities of WhatsApp's, Signal's, and Threema's Group Chats privacy security web-in-security.blogspot.com
    doublec avatar via doublec 1 year ago | cached | no comments
  16. 12
    Runtime typing and eval in Alice ML ml programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | 11 comments
  17. 3
    Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014 pdf formalmethods rcs.ei.tum.de
    doublec avatar via doublec 1 year ago | cached | no comments
  18. 11
    Self Programming Language Release “Mandarin” 2017.1 programming release blog.selflanguage.org
    doublec avatar via doublec 1 year ago | cached | no comments
  19. 9
    Distributed Wikipedia Mirrors in Freenet distributed networking bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | 4 comments
  20. 5
    SPARKSkein: A Formal and Fast Reference Implementation of Skein (2010) pdf formalmethods skein-hash.info
    doublec avatar via doublec 1 year ago | cached | 2 comments
  21. 6
    Proving the Ghost Common Divisor (GCD) in SPARK formalmethods programming spark-2014.org
    doublec avatar via doublec 1 year ago | cached | 12 comments
  22. 2
    Auto-Active Proof of Red-Black Trees in SPARK pdf programming spark-2014.org
    doublec avatar via doublec 1 year ago | cached | no comments
  23. 6
    Installing GNAT and SPARK GPL Editions programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | 4 comments
  24. 8
    Shen Language Port for Wasp Lisp lisp programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | no comments
  25. 5
    Exploring 3-Move - A LambdaMOO inspired environment programming bluishcoder.co.nz
    doublec avatar authored by doublec 1 year ago | cached | 2 comments
Page 2 >>