dogear

enter for all results · esc to close

Books & Writing

Books and writing: reading lists, essays, authors, the craft of writing, and literature.

  1. learnbydo.ing learnbydo.ing

    Learn {Web} programming with Courses, Books & Exercises from Fabio Biondi. Content either in Italian or English.

  2. sheetjs docs.sheetjs.com

    A JavaScript library for reading and writing data from spreadsheets.

  3. Web Component Development with Modern Libraries and Tooling manning.com

    Book by Mark Volkmann, available at Manning early access program.

  4. Web Component Essentials leanpub.com

    Book by Cory Rylan, early preview edition available at Leanpub.

  5. Jonathan Snook twitter.com

    Designer, Developer, Writer, Speaker. I make stuff on the web. I wrote SMACSS.

  6. Scott Jehl twitter.com

    Author of @responsiblerwd, now on sale from @abookapart.

  7. Heydon Pickering twitter.com

    Moderate consumer of rice. Also a UX designer, author, @smashingmag editor and programmer.

  8. Dudley Storey twitter.com

    Web development writer, teacher, and speaker.

  9. Donovan Hutchinson twitter.com

    Designer, developer, writer. Occasionally blogs at http://Hop.ie, and currently building @cssanimation.

  10. Dave McFarland twitter.com

    Web developer, author of CSS: The Missing Manual, JavaScript & jQuery.

  11. Lea Verou twitter.com

    Research Assistant @MIT_CSAIL, @CSSWG IE, @OReillyMedia author, Ex @W3C staff.

  12. Kitty Giraudel twitter.com

    Non-binary accessibility & diversity advocate, frontend developer, author.

  13. CSS will-change drafts.csswg.org

    This specification defines the will-change CSS property which allows an author to declare ahead-of-time what properties are likely to change in the future, so the UA can set up the appropriate optimizations some time before they’re needed. This way, when the actual change…

  14. Scour codedread.com

    Open-source Python script that aggressively cleans SVG files, stripping cruft that tools or authors embed in documents.

  15. Book of Speed bookofspeed.com

    Stoyan Stefanov.

  16. Rollup rollupjs.org

    Rollup is a next-generation JavaScript module bundler. Author your app or library using ES2015 modules, then efficiently bundle them up into a single file for use in browsers and Node.js

  17. Mark Seemann blog.ploeh.dk

    A blog discussing various aspects of software design.

  18. 文言 (Wenyan) wenyan-lang.lingdong.works

    Closely follows the grammar and tone of classical Chinese literature.

  19. Computer Arithmetic and Formal Proofs sciencedirect.com

    Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.

  20. The Mathematical Components book math-comp.github.io

    Book oriented towards mathematically inclined users, focusing on the Mathematical Components library and the SSReflect proof language.

  21. Coq'Art labri.fr

    The first book dedicated to Coq.

  22. Programs and Proofs ilyasergey.net

    Book that gives a brief and practically-oriented introduction to interactive proofs in Coq which emphasizes the computational nature of inductive reasoning about decidable propositions via a small set of primitives from the SSReflect proof language.

  23. Program Logics for Certified Compilers cs.princeton.edu

    Book that explains how to construct program logics using separation logic, accompanied by a formal model in Coq which is applied to the Clight programming language and other examples.

  24. Move Patterns move-patterns.com

    A book on Move software design patterns maintained by @villesundell.

  25. Move Book move-language.github.io

    Move book maintained by the Move core team (中文).

  26. Move Book move-book.com

    Move book maintained by @damirka (中文).

  27. Sui Move by Example examples.sui.io

    A book on the Sui Move variant maintained by @MystenLabs.

  28. How To Make A V Compiler Backend l-m.dev

    Walkthrough of writing a new codegen backend for V.

  29. vsl.vcl github.com

    VCL is a high level way of writing programs with OpenCL using V. These are highly opinionated OpenCL bindings for V. It tries to make GPU computing easy, with some sugar abstraction, V's concurrency and channels.

  30. ada-95-tutorial perso.telecom-paristech.fr

    A book going from beginner to advanced concepts in Ada 95, complete with source files.

  31. suid-helper gitlab.com

    Small Ada library that helps in writing safer suid programs.

  32. ada-wikibook en.wikibooks.org

    Ada Programming book at Wikibooks.

  33. simple-games drive.google.com

    Learning Ada 2012 by writing simple games.

  34. Web Book cliutils.gitlab.io

  35. Programming Crystal pragprog.com

    PragProg book to start your Crystal journey

  36. next page of items loading…