1. 6
    Differential Geometry Reconstructed pdf math geometry.org
    lorddimwit avatar via lorddimwit 1 month ago | cached | 1 comment
  2. 10
    Iverson's Algebra: An Algorithmic Treatment ☶ pdf apl historical math jsoftware.com
    lorddimwit avatar via lorddimwit 2 months ago | cached | no comments
  3. 32
    J Software releases many APL/mathematical works under Creative Commons license apl book compsci education math code.jsoftware.com
    lorddimwit avatar via lorddimwit 5 months ago | cached | 2 comments
  4. 13
    Looking for an intact copy of Iverson's "Algebra: An Algorithmic Treatment" ☶ ask book
    lorddimwit avatar authored by lorddimwit 6 months ago | 7 comments
  5. 2
    The ABC Structure Editor ☶ pdf plt python citeseerx.ist.psu.edu
    lorddimwit avatar via lorddimwit 6 months ago | cached | no comments
  6. 2
    Is it possible to have useful functional types in a purely nominative type system? ☶ ask compilers compsci
    lorddimwit avatar authored by lorddimwit 9 months ago | 6 comments
  7. 13
    The Haskell Road to Logic, Math, and Programming pdf haskell math fldit-www.cs.uni-dortmund.de
    lorddimwit avatar via lorddimwit 11 months ago | cached | no comments
  8. 13
    mtm - a truly tiny terminal multiplexer c release github.com
    lorddimwit avatar authored by lorddimwit 1 year ago | cached | no comments
  9. 2
    libtmt - an experiment in minimal terminal emulation c release github.com
    lorddimwit avatar authored by lorddimwit 1 year ago | cached | no comments