tlively / BrainCoqulus Public

Notifications You must be signed in to change notification settings
Fork 2
Star 11

A formally verified compiler of untyped lambda calculus to brainfuck

11 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
writeup		writeup
.gitignore		.gitignore
README.md		README.md
bf.py		bf.py
bf.v		bf.v
bfn.v		bfn.v
bftape.v		bftape.v
compilation.md		compilation.md
jsml.v		jsml.v
lambda.v		lambda.v
paren.v		paren.v
parse.v		parse.v
sml.v		sml.v
stack.v		stack.v
utils.v		utils.v

Repository files navigation

BrainCoqulus

A formally verified compiler of untyped lambda calculus to brainfuck

About

A formally verified compiler of untyped lambda calculus to brainfuck

Report repository

Releases

No releases published

Packages

No packages published

Contributors 4

Languages