glug/coq-classtests glug/coq-classtests

  • Stars
    star
    1
  • Language Verilog
  • Created over 13 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
glug/coq-classtests
github

glug

Reviews

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

Repository Details

coq type classes for abstract objects, and some day parser combinators

More Repositories

1

cccb-display

UDP packet interface for LED display in CCCB, written in Lua
Lua
6
star
2

lua-lambdafoo

beware
Lua
5
star
3

lua-gfxfoo

pnm output and stuff
Lua
1
star