Books & Writing
Books and writing: reading lists, essays, authors, the craft of writing, and literature.
-
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.
-
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.
-
Coq'Art labri.fr
The first book dedicated to Coq.
-
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.
-
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.
-
Move Patterns move-patterns.com
A book on Move software design patterns maintained by @villesundell.
-
Move Book move-language.github.io
Move book maintained by the Move core team (中文).
-
Move Book move-book.com
Move book maintained by @damirka (中文).
-
Sui Move by Example examples.sui.io
A book on the Sui Move variant maintained by @MystenLabs.
-
How To Make A V Compiler Backend l-m.dev
Walkthrough of writing a new codegen backend for V.
-
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.
-
Getting Started with V Programming - Navule Pavan Kumar Rao - Packt 2021 Dec amazon.com
Introductory book on V.
-
ada-95-tutorial perso.telecom-paristech.fr
A book going from beginner to advanced concepts in Ada 95, complete with source files.
-
suid-helper gitlab.com
Small Ada library that helps in writing safer suid programs.
-
ada-wikibook en.wikibooks.org
Ada Programming book at Wikibooks.
-
simple-games drive.google.com
Learning Ada 2012 by writing simple games.
-
introductory blog post scottlburson2.blogspot.com
-
author github.com
-
Book leanpub.com
-
Book crascit.com
-
Web Book cliutils.gitlab.io
-
Programming Crystal pragprog.com
PragProg book to start your Crystal journey
-
Crystal for Rubyists crystalforrubyists.com
Free book to bootstrap your Crystal journey
-
Zlib crystal-lang.org
readers and writers of zlib format (Crystal stdlib)
-
Zip crystal-lang.org
readers and writers of zip format (Crystal stdlib)
-
Gzip crystal-lang.org
readers and writers of gzip format (Crystal stdlib)
-
OpenWire sourceforge.net
. [Delphi] The library allows writing advanced VCL and FireMonkey components for rapid codeless application development. The components developed with the library allow creation of complex applications with zero lines of program code.
-
Delphi ASIO & VST Project sourceforge.net
. [Delphi] Framework for writing applications using the ASIO interface and VST plugins. It comes with countless DSP algorithms all demonstrated in dozens of examples. // Not very active lately, but the trunk is in a usable state
-
Smoketest github.com
. [Delphi] Framework for writing tests and performance benchmarks using the Delphi language for Microsoft Windows. It has been tested on all versions of Delphi from 7 thru to 2010.
-
QDAC3 blog.qdac.cc
(SVN: svn://www.qdac.cc/QDAC3). [Delphi] Stands for quick data access components. Useful units such as QJson (easy to use json unit), QWorker (job delivery) etc. // Description and comments in Chinese, author is not good at English. Haven't tested this library by myself.
-
-
-
Documentation for Plugins getcomposer.org
This offical documentation is good starting point, when writing a Composer plugin.
-
PHP Internals Book phpinternalsbook.com
-
xml-fortran sourceforge.net
an all-Fortran solution for reading and writing XML files.
-
Developing Jini applications using J2ME technology dl.acm.org
Book on Developing networking applications using Jini and J2ME.
-
SNMPMonitor metacpan.org
Perl extension for writing SNMP Monitors
-
Monitoring::Plugin metacpan.org
A family of perl modules to streamline writing Naemon, Nagios, Icinga or Shinken (and compatible) plugins
-
ELF::Writer metacpan.org
write and read executable ELF files
-
Dancer::Plugin::REST metacpan.org
A plugin for writing RESTful apps with Dancer
-
Dancer2::Plugin::REST metacpan.org
A plugin for writing RESTful apps with Dancer2
-
Audio::Wav metacpan.org
Modules for reading & writing Microsoft WAV files.
-
Audio::SndFile metacpan.org
Perl library for reading and writing sound files
-
Lua states, libraries, coroutines and memory thijsschreijer.nl
-
IDG TECHtalk youtube.com
Do More with R playlist includes tutorials on shiny, data.table, getting API data, using Git and Github with R, writing your own packages, run Python in R code, RStudio addins and keyboard shortcuts, dashboards and flexdashboards.
-
The Book of R web.itu.edu.tr
The aim of The Book of R: A First Course in Programming and Statistics is to provide a relatively gentle yet informative exposure to the statistical software environment R, alongside some common statistical analyses, so that readers may have a solid foundation from which to…
-
How to Start with Shiny vimeo.com
Detailed introductory video tutorial. Author: Garrett Grolemund.
-
Tidy Modeling with R tmwr.org
This book is a guide to using a new collection of software in the R programming language for model building.
-
Fakir - Create Fake Data in R for Tutorials thinkr-open.github.io
Author: Colin Fay.
-
Syntax equivalents: base R vs Tidyverse tavareshugo.github.io
A detailed comparison of base R and tidyverse. Author: Hugo Tavares.
- next page of items loading…
