j-baker/l1c j-baker/l1c

  • Stars
    star
    55
  • Rank 537,381 (Top 11 %)
  • Language Standard ML
  • License
    Other
  • Created about 10 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
j-baker/l1c
github

j-baker

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

l1c is a simple formally verified compiler for a while language

More Repositories

1

loom-experiments

Java
17
star
2

vector-experiments

Java
9
star
3

breaktime-sh

Shell
3
star
4

Stegfinder

Java
1
star