1-p

agda

Agda is a dependently typed programming language / interactive theorem prover.

fsfs-zh

Chinese translation for "Free Software, Free Society"(3rd)

kIFcP4YqZJWcQMjZxxLNk2

kilo

A text editor in less than 1000 LOC with syntax highlight and search.

n

U5BSD8A6bGkw2fWoG2Lonb

Meh.

kilua

A minimal text-editor with lua scripting.

1-p/kilo

A text editor in less than 1000 LOC with syntax highlight and search.

1-p/agda

Agda is a dependently typed programming language / interactive theorem prover.

1-p/fsfs-zh

Chinese translation for "Free Software, Free Society"(3rd)

1-p/kIFcP4YqZJWcQMjZxxLNk2

1-p/n

1-p/U5BSD8A6bGkw2fWoG2Lonb

Meh.