Dan's Blog

Dan's
Recommend

Programming Language Theory • System Programming

49 Recommend

Abbie

blogplt

Alex Harsányi

blogracket

Desvl

blogmath

Edwin Brady

blogpltidris

Galois Neko

blogpltcompiler

homotopy blog

blogplthott

ice1000

blogplthottcubical

lemonhx

blogplt

數學傳播

blogmath

傳播數學知識.促進數學教育

math3ma

blogmath

matt might

blogplt

喵 世界

blogpltcubical

Ngo Iok Ui

blogrust

NIL

bloglisplanguage

八百屋

blogjapanese

Viktor Lin

blogphilosophy

基礎幾何學

bookmathgeometry

幾何學乃是人類理性文明,對于我們和大自然中的萬物萬象共存于其中的空間的「認識論」。

Beautiful Racket

bookracket

An introduction to langauge-oriented programming using Racket by Matthew Butterick.

Byrne’S Euclid

bookmathgeometryeuclid

A reproduction of Oliver Byrne’s celebrated work from 1847 plus interactive diagrams, cross references, and posters designed by Nicholas Rougeux.

nLab

mathphysicsphilosophynlab

A wiki-lab for collaborative work on Mathematics, Physics and Philosophy.

Mathematical Components

projectmathlogiccoq

Arend

proverpltarend

Coq

proverpltcoq

Idris

pltlanguageidris

Rosette

solverlogicplt

Logic and Computation Intertwined

tutorialpltlogiccomputation

plfa

tutorialpltagda

An introduction to programming language theory using the proof assistant Agda.

Software Foundations

tutorialpltcoq

The principal novelty of the series is that every detail is one hundred percent formalized and machine-checked: the entire text of each volume, including the exercises, is literally a "proof script" for the Coq proof assistant.

Writing an OS in Rust

tutorialosrust

A series creates a small operating system in the Rust programming language.

©2021 dannypsnl(林子篆)