Search results

The End of Error: Unum Computing

Book

Math

Status: Open.

#81 In wdv4758h/notes;

· wdv4758h opened on Aug 27, 2017

獨裁者的進化：收編、分化、假民主

Book

Status: Open.

#80 In wdv4758h/notes;

· wdv4758h opened on Apr 22, 2017

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Book

Coq

Formal Verification

Status: Open.

#79 In wdv4758h/notes;

· wdv4758h opened on Apr 1, 2017

Verified Functional Programming in Agda

Agda

Book

Formal Verification

Status: Open.

#78 In wdv4758h/notes;

· wdv4758h opened on Apr 1, 2017

Write You a Haskell - Building a modern functional compiler from first principles

Book

Haskell

Status: Open.

#76 In wdv4758h/notes;

· wdv4758h opened on Mar 3, 2017

Domain-Specific Languages

Book

Status: Open.

#75 In wdv4758h/notes;

· wdv4758h opened on Mar 2, 2017

Hacker's Delight, 2nd

Book

DS & Algo

Status: Open.

#74 In wdv4758h/notes;

· wdv4758h opened on Feb 27, 2017

A Unified TLS API for Python

Cryptography

Python

Status: Open.

#73 In wdv4758h/notes;

· wdv4758h opened on Feb 19, 2017

血之祕史：科學革命時代的醫學與謀殺故事

Book

Status: Open.

#72 In wdv4758h/notes;

· wdv4758h opened on Feb 17, 2017

Wayland utils like X

Wayland

Status: Open.

#71 In wdv4758h/notes;

· wdv4758h opened on Feb 14, 2017

[2016] Sequent calculus as a compiler intermediate language

Paper

Status: Open.

#70 In wdv4758h/notes;

· wdv4758h opened on Feb 14, 2017

Rust and other languages

ABI

FFI

Rust

Status: Open.

#69 In wdv4758h/notes;

· wdv4758h opened on Feb 14, 2017