devlibrary.org

Recently added books

The Level Design Book

by Robert Yang

Video games

Learning Zig

by Karl Seguin

Zig

Practical Typography

by Matthew Butterick

Typography

The Modern JavaScript Tutorial

by Ilya Kantor

JavaScript

Ray Tracing in One Weekend

by Peter Shirley, Trevor David Black, Steve Hollasch

Graphics programming Ray tracing

Computer Architecture, Fifth Edition: A Quantitative Approach

by John L Hennesy, David A Patterson

Computer architecture

Applied Mathematical Programming

by Arnoldo C. Hax, Stephen P. Bradley, Thomas L. Magnanti

Mathematics Software engineering

The Pragmatic Programmer for Machine Learning

by Marco Scutari, Mauro Malvestio

Machine Learning Data science

Physics-based Deep Learning

by Philipp Holl, Maximilian Mueller, Patrick Schnell, Felix Trost, Nils Thuerey, Kiwon Um

Deep learning Physics

Algorithms for Modern Hardware

by Sergey Slotin

High performance computing

Data Science at the Command Line

by Jeroen Janssens

Data science

Ruby Science

by Thoughtbot

Ruby

Calculus Made Easy

by Silvanus P Thompson

Mathematics Calculus

PHP: The Right Way

by Josh Lockhart, Phil Sturgeon

PHP

You Don't Know JS Yet: Types & Grammar

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Objects & Classes

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Scope & Closures

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Get Started

by Kyle Simpson

JavaScript

Think Python

by Allen B. Downey

Python

Eloquent JavaScript

by Marijn Haverbeke

JavaScript

NixOS & Flakes Book

by Ryan Yin

Nix

The Handbook of Rationality

by Markus Knauff, Wolfgang Spohn

Philosophy

Software Foundations Vol 6: Separation Logic Foundations

by Arthur Charguéraud

Software engineering

Software Foundations Vol 5: Verifiable C

by Andrew W Appel, Lennart Beringer, Qinxiang Cao

Software engineering C

Software Foundations Vol 3: Verified Functional Algorithms

by Andrew W Appel

Software engineering

Software Foundations Vol 2: Programming Language Foundations

by Benjamin C Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey

Software engineering

The Fuzzing Book

by Rahul Gopinath, Marcel Böhme, Gordon Fraser, Christian Holler, Andreas Zeller

Testing

Programming in Standard ML

by Robert Harper

Standard ML Functional programming

SQL for Web Nerds

by Philip Greenspun

Databases SQL

SQL Performance Explained

by Markus Winand

Databases SQL

Database Performance at Scale

by Felipe Cardeneti Mendes, Piotr Sarna, Pavel Emelyanov, Cynthia Dunlop

Databases

Oracle PL/SQL Programming

by Steven Feuerstein

Databases SQL Oracle PL/SQL

Introduction to Modern Statistics

by Mine Çetinkaya-Rundel, Johanna Hardin

Statistics

Exploring Splunk: Search Processing Language (SPL) Primer and Cookbook

by David Carasso

Splunk

Developing Time-Oriented Database Applications in SQL

by Richard T. Snodgrass

SQL Databases

Designing Virtual Worlds

by Richard A Bartle

Video games

Software Foundations Vol 1: Logical Foundations

by Arthur Azevedo de Amorim, Marco Gaboardi, Michael Greenberg, Brent Yorgey, Cătălin Hriţcu, Benjamin C Pierce, Chris Casinghino, Vilhelm Sjöberg

Software engineering

Software Foundations Vol 4: QuickChick: Property-Based Testing in Coq

by Leonidas Lampropoulos, Benjamin C Pierce

Property based testing Coq Software engineering

Effective Rust

by David Drysdale

Rust

Quantum computing for the very curious

by Andy Matuschak and, Michael Nielsen

Quantum computing

Prolog Programming In Depth

by Andre Vellino, David A Nute, Michael A Covington

Prolog

Programming Languages: Application and Interpretation

by Shriram Krishnamurthi

Programming languages

Foundations of Probabilistic Programming

by Joost-Pieter Katoen, Alexandra Silva, Gilles Bartha

Probabilistic programming

OCaml Programming: Correct + Efficient + Beautiful

by Michael R. Clarkson

OCaml

Linear Algebra

by Jim Hefferon

Linear algebra

Discrete Mathematics - An Open Introduction

by Oscar Levin

Mathematics Discrete mathematics

Machine Learning Engineering

by Andriy Burkov

Machine Learning

Machine Learning from Scratch

by Danny Friedman

Machine Learning

Successful Lisp: How to Understand and Use Common Lisp

by David B Lamkins

Lisp Common LISP

Linux IP Stacks Commentary

by Stephen Satchell, H B J Clifford

Linux

Deep JavaScript: Theory and Techniques

by Axel Rauschmayer

JavaScript

Software Engineering at Google

by Hyrum Wright, Tom Manshreck, Titus Winters

Software engineering

Structure and Interpretation of Computer Programs

by Harold Abelson, Gerald Jay Sussman, Julie Sussman

Software engineering

Program Design by Calculation

by J N Oliveira

Software engineering

Philosophy of Computer Science

by William J Rapaport

Software engineering

Foundations of Computer Science

by Al Aho, Jeff Ullman

Software engineering

Evidence-based Software Engineering

by Derek M Jones

Software engineering

Elements of Programming

by Alexander Stepanov, Paul McJones

Software engineering

Data-Oriented Design

by Richard Fabian

Software engineering

A Compendium of Software Design

by Matteo Di Tucci

Software engineering

Radiosity - A Programmer's Perspective

by Ian Ashdown

Graphics programming

Radiosity and Realistic Image Synthesis

by Michael F Cohen, John R Wallace

Graphics programming

The Book of Shaders

by Patricio Gonzalez Vivo, Jen Lowe

Graphics programming

Physically Based Rendering: From Theory to Implementation

by Wenzel Jakob, Greg Humphreys, Matt Pharr

Graphics programming

Learn Haskell by Building a Blog Generator

by Gil Mizrahi

Haskell

Ray Tracing: The Next Week

by Peter Shirley, Trevor David Black, Steve Hollasch

Graphics programming Ray tracing

Graphics Programming Black Book

by Michael Abrash

Graphics programming

Ray Tracing Gems II

by Peter Shirley, Ingo Wald, Adam Marrs

Graphics programming Ray tracing

Scratchapixel 3.0, Learn Computer Graphics Programming

Graphics programming

The Dao of Functional Programming

by Bartosz Milewski

Functional programming

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Agda Functional programming

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Programming Language Foundations in Agda

by Philip Wadler

Agda Functional programming

Pricing Money

by J D A Wiseman

Finance

Domain Driven Design Quickly

by Floyd Marinescu, Abel Avram

Domain driven design

Notes on Theory of Distributed Systems

by James Aspnes

Distributed systems

The Scientist and Engineer's Guide to Digital Signal Processing

by Steven W. Smith

Digital signal processing

Data-Driven Science and Engineering

by Steven L. Brunton, J. Nathan Kutz

Data science Machine Learning

Introduction to Probability for Data Science

by Stanley H. Chan

Probability Data science

The Joy of Cryptography

by Mike Rosulek

Cryptography

Let's Build a Compiler

by Jack Crenshaw

Compilers

Introduction to Compilers and Language Design

by Douglas Thain

Compilers Programming languages

COMMON LISP: A Gentle Introduction to Symbolic Computation

by David S. Touretzky

Common LISP Lisp Functional programming

The Common Lisp Cookbook

Common LISP Lisp Functional programming

Category Theory for Programmers

by Bartosz Milewski

Category theory

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

by Brendan Fong, David I Spivak

Category theory

Category Theory in Context

by Emily Riehl

Category theory

Category Theory Illustrated

by Boris Marinov

Category theory

Paradigms of Artificial Intelligence Programming

by Peter Norvig

Artificial intelligence Machine Learning Common LISP

The Art of Agile Development

by James Shore

Agile

Build Your Own Lisp

by Daniel Holden

Lisp C

Build Your Own Database From Scratch

by James Smith

Databases Go

The Chaos Hypertextbook

by Glenn Elert

Mathematics

Book of Proof

by Richard Hammack

Mathematics

Bayesian Optimization Book

by Roman Garnett

Mathematics

The Erlang Runtime System

by Erik Stenman

Erlang

Essentials of Compilation: An Incremental Approach in Python

by Jeremy Siek

Python

Essentials of Compilation: An Incremental Approach in Racket

by Jeremy Siek

Racket

Architecture Patterns with Python

by Bob Gregory, Harry J W Percival

Python

The Little Book of Deep Learning

by François Fleuret

Deep learning

Practical Deep Learning for Coders

by Jeremy Howard, Sylvain Gugger

Deep learning

Deep Learning - Foundations and Concepts

by Christopher M Bishop, Hugh Bishop

Deep learning

Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox

by Peter Sanders, Martin Dietzfelbinger, Kurt Mehlhorn, Roman Dementiev

Algorithms Data structures

Practical Evolutionary Algorithms

by Shahin Rostami

Algorithms

Matters Computational: Ideas, Algorithms, Source Code

by Jörg Arndt

Algorithms

Introduction to Algorithms - A Creative Approach

by Udi Manber

Algorithms

Algorithms

by Jeff Erickson

Algorithms

Working With Ruby Threads

by Jesse Storimer

Ruby

Working With Unix Processes

by Jesse Storimer

Ruby

Working With TCP Scokets

by Jesse Storimer

Ruby

A Journey in Creating an Operating System Kernel: The 539kernel Book

by Mohammed Q Hussein

Operating systems

A Guide to Smartphone Astrophotography

by Sten Odenwald

Photography

Building from the Right Side

by Jean-Michel Lemieux

Engineering leadership

Beej's Guide to Network Programming

by Brian “Beej Jorgensen” Hall

Network programming

A Gentle Introduction to Assembly Language Programming

by Perry Kivolowitz

Assembly programming

Machine Learning Engineering Open Book

by Stas Bekman

Machine Learning

Dive Into Deep Learning

by Astor Zhang, Zachary C Lipton, Mu Li, Alexander J Smola

Deep learning

Build Your Own Redis with C/C++

by James Smith

Redis

The dRuby Book

by Masatoshi Seki

Ruby

Neural Networks and Deep Learning

by Michael Nielsen

Neural networks Deep learning