Repository Index

47,133 repositories indexed

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

25–27 of 27 · Most stars

calebegg /proof-pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

API for Onloc. Manages all of your precious location data.

Deno port of `forwarded` library