Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
bun.lock		bun.lock
index.test.ts		index.test.ts
index.ts		index.ts
package.json		package.json
tsconfig.json		tsconfig.json

Repository files navigation

minithesis-ts

A typescript/bun port of minithesis.

Building this port alongside reading the paper was instructive to say the least. Many thanks to David R. MacIver.

Prerequisites

Install Bun

Install check and test

bun install; bun check; bun test

About

A typescript port of minithesis

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages