stedolan/counterexamples

Counterexamples in Type Systems

JavaScript

425

39 commits

updated Jun 8, 2023

counterexamples.org

See the code

README

Counterexamples in Type Systems

This repo contains the source of Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.

Building

Builds locally with make (if you're on a Linux system sufficiently like my own).

The book is built with mdbook and KaTeX.

Contributors

29 commits

4 commits

2 commits

1 commits

Similar repos

rust-lang/nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

2,332

rust-lang/book

The Rust Programming Language

18,323

cpsc411/cpsc411-book

The WIP book for CPSC 411

leanprover/functional_programming_in_lean

A book about functional programming in Lean

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

steveklabnik/jujutsu-tutorial

trying to figure out this jujutsu thing

467

psibi/rust-book-summary

Summary of the Rust book

257

theseus-os/Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥…

3,202

Languages

JavaScript

89.8%

Handlebars

9.9%

stedolan/counterexamples

Counterexamples in Type Systems

JavaScript

425

39 commits

updated Jun 8, 2023

counterexamples.org

See the code

README

Counterexamples in Type Systems

This repo contains the source of Counterexamples in Type Systems, a compendium of horrible programs that crash, segfault or otherwise explode.

Building

Builds locally with make (if you're on a Linux system sufficiently like my own).

The book is built with mdbook and KaTeX.

Similar repos

rust-lang/nomicon

The Dark Arts of Advanced and Unsafe Rust Programming

2,332

rust-lang/book

The Rust Programming Language

18,323

cpsc411/cpsc411-book

The WIP book for CPSC 411

leanprover/functional_programming_in_lean

A book about functional programming in Lean

edwinb/TypeDD-Samples

Sample code from "Type Driven Development with Idris"

162

steveklabnik/jujutsu-tutorial

trying to figure out this jujutsu thing

467

psibi/rust-book-summary

Summary of the Rust book

257

theseus-os/Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥…

3,202

Contributors

29 commits

4 commits

2 commits

1 commits

Languages

JavaScript

89.8%

Handlebars

9.9%