devlibrary.org

Categories

Agda

Programming Language Foundations in Agda

by Philip Wadler

Agda Functional programming

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Agda Functional programming

Agile

The Art of Agile Development

by James Shore

Agile

Algorithms

Algorithms

by Jeff Erickson

Algorithms

Introduction to Algorithms - A Creative Approach

by Udi Manber

Algorithms

Matters Computational: Ideas, Algorithms, Source Code

by Jörg Arndt

Algorithms

Practical Evolutionary Algorithms

by Shahin Rostami

Algorithms

Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox

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

Algorithms Data structures

Competitive Programmer's Handbook

by Antti Laaksonen

Algorithms Data structures

Artificial intelligence

Assembly programming

A Gentle Introduction to Assembly Language Programming

by Perry Kivolowitz

Assembly programming

C

Build Your Own Lisp

by Daniel Holden

Lisp C

Software Foundations Vol 5: Verifiable C

by Andrew W Appel, Lennart Beringer, Qinxiang Cao

Software engineering C

Calculus

Calculus Made Easy

by Silvanus P Thompson

Mathematics Calculus

CLP-1 Differential Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-2 Integral Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-3 Multivariable Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-4 Vector Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

Category theory

Category Theory Illustrated

by Boris Marinov

Category theory

Category Theory in Context

by Emily Riehl

Category theory

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

by Brendan Fong, David I Spivak

Category theory

Category Theory for Programmers

by Bartosz Milewski

Category theory

Co

Common LISP

Compilers

Introduction to Compilers and Language Design

by Douglas Thain

Compilers Programming languages

Let's Build a Compiler

by Jack Crenshaw

Compilers

Computer architecture

Computer Architecture, Fifth Edition: A Quantitative Approach

by John L Hennesy, David A Patterson

Computer architecture

Coq

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

by Leonidas Lampropoulos, Benjamin C Pierce

Property based testing Coq Software engineering

Cryptography

The Joy of Cryptography

by Mike Rosulek

Cryptography

Data science

Data structures

Sequential and Parallel Data Structures and Algorithms: The Basic Toolbox

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

Algorithms Data structures

Competitive Programmer's Handbook

by Antti Laaksonen

Algorithms Data structures

Databases

Build Your Own Database From Scratch

by James Smith

Databases Go

Developing Time-Oriented Database Applications in SQL

by Richard T. Snodgrass

SQL Databases

Oracle PL/SQL Programming

by Steven Feuerstein

Databases SQL Oracle PL/SQL

Database Performance at Scale

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

Databases

SQL Performance Explained

by Markus Winand

Databases SQL

SQL for Web Nerds

by Philip Greenspun

Databases SQL

Deep learning

Neural Networks and Deep Learning

by Michael Nielsen

Neural networks Deep learning

Dive Into Deep Learning

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

Deep learning

Deep Learning - Foundations and Concepts

by Christopher M Bishop, Hugh Bishop

Deep learning

Practical Deep Learning for Coders

by Jeremy Howard, Sylvain Gugger

Deep learning

The Little Book of Deep Learning

by François Fleuret

Deep learning

Physics-based Deep Learning

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

Deep learning Physics

Understanding Deep Learning

by Simon J D Prince

Machine Learning Deep learning Artificial intelligence

Digital signal processing

The Scientist and Engineer's Guide to Digital Signal Processing

by Steven W. Smith

Digital signal processing

Discrete mathematics

Discrete Mathematics - An Open Introduction

by Oscar Levin

Mathematics Discrete mathematics

Distributed systems

Notes on Theory of Distributed Systems

by James Aspnes

Distributed systems

Domain driven design

Domain Driven Design Quickly

by Floyd Marinescu, Abel Avram

Domain driven design

Engineering leadership

Building from the Right Side

by Jean-Michel Lemieux

Engineering leadership

Erlang

The Erlang Runtime System

by Erik Stenman

Erlang

Finance

Pricing Money

by J D A Wiseman

Finance

Functional programming

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

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Learn you An Agda And Achieve Enlightenment

by Liam O'Connor-Davis

Agda Functional programming

Programming Language Foundations in Agda

by Philip Wadler

Agda Functional programming

The Dao of Functional Programming

by Bartosz Milewski

Functional programming

Programming in Standard ML

by Robert Harper

Standard ML Functional programming

Git

Beej's Guide to Git

by Brian “Beej Jorgensen” Hall

Git Version control

Go

Build Your Own Database From Scratch

by James Smith

Databases Go

Graphics programming

Scratchapixel 3.0, Learn Computer Graphics Programming

Graphics programming

Ray Tracing Gems II

by Peter Shirley, Ingo Wald, Adam Marrs

Graphics programming Ray tracing

Graphics Programming Black Book

by Michael Abrash

Graphics programming

Ray Tracing: The Next Week

by Peter Shirley, Trevor David Black, Steve Hollasch

Graphics programming Ray tracing

Physically Based Rendering: From Theory to Implementation

by Wenzel Jakob, Greg Humphreys, Matt Pharr

Graphics programming

The Book of Shaders

by Patricio Gonzalez Vivo, Jen Lowe

Graphics programming

Radiosity and Realistic Image Synthesis

by Michael F Cohen, John R Wallace

Graphics programming

Radiosity - A Programmer's Perspective

by Ian Ashdown

Graphics programming

Ray Tracing in One Weekend

by Peter Shirley, Trevor David Black, Steve Hollasch

Graphics programming Ray tracing

Haskell

Learn Haskell by Building a Blog Generator

by Gil Mizrahi

Haskell

High performance computing

Algorithms for Modern Hardware

by Sergey Slotin

High performance computing

JavaScript

Deep JavaScript: Theory and Techniques

by Axel Rauschmayer

JavaScript

Eloquent JavaScript

by Marijn Haverbeke

JavaScript

You Don't Know JS Yet: Get Started

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Scope & Closures

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Objects & Classes

by Kyle Simpson

JavaScript

You Don't Know JS Yet: Types & Grammar

by Kyle Simpson

JavaScript

The Modern JavaScript Tutorial

by Ilya Kantor

JavaScript

LLMs

LLM Inference Handbook

Artificial intelligence LLMs

Lean programming language

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Linear algebra

Linear Algebra

by Jim Hefferon

Linear algebra

Linux

Linux IP Stacks Commentary

by Stephen Satchell, H B J Clifford

Linux

Lisp

Machine Learning

Machine Learning Engineering Open Book

by Stas Bekman

Machine Learning

Paradigms of Artificial Intelligence Programming

by Peter Norvig

Artificial intelligence Machine Learning Common LISP

Data-Driven Science and Engineering

by Steven L. Brunton, J. Nathan Kutz

Data science Machine Learning

Machine Learning from Scratch

by Danny Friedman

Machine Learning

Machine Learning Engineering

by Andriy Burkov

Machine Learning

The Pragmatic Programmer for Machine Learning

by Marco Scutari, Mauro Malvestio

Machine Learning Data science

Understanding Deep Learning

by Simon J D Prince

Machine Learning Deep learning Artificial intelligence

Understanding Machine Learning: From Theory to Algorithms

by Shai Shalev-Shwartz, Shai Ben-David

Artificial intelligence Machine Learning

The Tensor Cookbook

by Thomas Dybdahl Ahle

Machine Learning

Mathematics

Bayesian Optimization Book

by Roman Garnett

Mathematics

Book of Proof

by Richard Hammack

Mathematics

The Chaos Hypertextbook

by Glenn Elert

Mathematics

Discrete Mathematics - An Open Introduction

by Oscar Levin

Mathematics Discrete mathematics

Calculus Made Easy

by Silvanus P Thompson

Mathematics Calculus

Applied Mathematical Programming

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

Mathematics Software engineering

CLP-1 Differential Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-2 Integral Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-3 Multivariable Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

CLP-4 Vector Calculus

by Joel Feldman, Andrew Rechnitzer, Elyse Yeager

Mathematics Calculus

An Introduction to Abstract Mathematics

by Neil Donaldson, Alessandra Pantano

Mathematics

Network programming

Beej's Guide to Network Programming

by Brian “Beej Jorgensen” Hall

Network programming

Neural networks

Neural Networks and Deep Learning

by Michael Nielsen

Neural networks Deep learning

Nix

NixOS & Flakes Book

by Ryan Yin

Nix

OCaml

OCaml Programming: Correct + Efficient + Beautiful

by Michael R. Clarkson

OCaml

Operating systems

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

by Mohammed Q Hussein

Operating systems

Oracle PL/SQL

Oracle PL/SQL Programming

by Steven Feuerstein

Databases SQL Oracle PL/SQL

PHP

PHP: The Right Way

by Josh Lockhart, Phil Sturgeon

PHP

Philosophy

The Handbook of Rationality

by Markus Knauff, Wolfgang Spohn

Philosophy

Photography

A Guide to Smartphone Astrophotography

by Sten Odenwald

Photography

Physics

Physics-based Deep Learning

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

Deep learning Physics

Probabilistic programming

Foundations of Probabilistic Programming

by Joost-Pieter Katoen, Alexandra Silva, Gilles Bartha

Probabilistic programming

Probability

Introduction to Probability for Data Science

by Stanley H. Chan

Probability Data science

Programming languages

Introduction to Compilers and Language Design

by Douglas Thain

Compilers Programming languages

Programming Languages: Application and Interpretation

by Shriram Krishnamurthi

Programming languages

Prolog

Prolog Programming In Depth

by Andre Vellino, David A Nute, Michael A Covington

Prolog

Property based testing

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

by Leonidas Lampropoulos, Benjamin C Pierce

Property based testing Coq Software engineering

Python

Architecture Patterns with Python

by Bob Gregory, Harry J W Percival

Python

Essentials of Compilation: An Incremental Approach in Python

by Jeremy Siek

Python

Think Python

by Allen B. Downey

Python

Quantum computing

Quantum Computing for the Very Curious

by Andy Matuschak and, Michael Nielsen

Quantum computing

Racket

Essentials of Compilation: An Incremental Approach in Racket

by Jeremy Siek

Racket

Ray tracing

Redis

Build Your Own Redis with C/C++

by James Smith

Redis

Ruby

The dRuby Book

by Masatoshi Seki

Ruby

Working With TCP Scokets

by Jesse Storimer

Ruby

Working With Unix Processes

by Jesse Storimer

Ruby

Working With Ruby Threads

by Jesse Storimer

Ruby

Ruby Science

by Thoughtbot

Ruby

Rust

Effective Rust

by David Drysdale

Rust

SQL

Software engineering

Elements of Programming

by Alexander Stepanov, Paul McJones

Software engineering

Evidence-based Software Engineering

by Derek M Jones

Software engineering

Foundations of Computer Science

by Al Aho, Jeff Ullman

Software engineering

Philosophy of Computer Science

by William J Rapaport

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

Data-Oriented Design

by Richard Fabian

Software engineering

A Compendium of Software Design

by Matteo Di Tucci

Software engineering

Software Engineering at Google

by Hyrum Wright, Tom Manshreck, Titus Winters

Software engineering

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 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

Software Foundations Vol 3: Verified Functional Algorithms

by Andrew W Appel

Software engineering

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

by Leonidas Lampropoulos, Benjamin C Pierce

Property based testing Coq Software engineering

Software Foundations Vol 5: Verifiable C

by Andrew W Appel, Lennart Beringer, Qinxiang Cao

Software engineering C

Software Foundations Vol 6: Separation Logic Foundations

by Arthur Charguéraud

Software engineering

Applied Mathematical Programming

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

Mathematics Software engineering

Splunk

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

by David Carasso

Splunk

Standard ML

Programming in Standard ML

by Robert Harper

Standard ML Functional programming

Statistics

Introduction to Modern Statistics

by Mine Çetinkaya-Rundel, Johanna Hardin

Statistics

Testing

The Fuzzing Book

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

Testing

Theorem prover

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Typography

Practical Typography

by Matthew Butterick

Typography

Version control

Beej's Guide to Git

by Brian “Beej Jorgensen” Hall

Git Version control

Video games

Designing Virtual Worlds

by Richard A Bartle

Video games

The Level Design Book

by Robert Yang

Video games

Zig

Learning Zig

by Karl Seguin

Zig