Toggle navigation
Packages
Documentation
Search
About
The Racket Package System
Package Builds
Download Racket
Register
Sign in
Search Package Index
Search terms
Tags
Search
2 packages found
Package
Description
Build
-1674145017
drracket-wakatime
dannypsnl@gmail.com
racket@racket.tw
wakatime support on DrRacket
Docs:
drracket-wakatime
Tags:
DrRacket
wakatime
License:
(
Apache-2.0
OR
MIT
)
succeeds
0
-1660658292
k
dannypsnl@gmail.com
racket@racket.tw
cyb.ai.815@gmail.com
k theorem prover
This package needs documentation
Tags:
proofs
License:
(
Apache-2.0
OR
MIT
)
fails
6