Search Package Index

4 packages found

 PackageDescriptionBuild 

drracket-wakatime

wakatime support on DrRacket

succeeds0

New

k

k theorem prover

This package needs documentation

Tags:
fails5

reporter

A util toolbox for compiler error reporting

Docs:
succeeds0

sauron

A DrRacket plugin to make it experience like an IDE

Docs:
succeeds0