Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

Jupyter Kernel for ACL2

Jupyter Notebook4other

3 months ago

acl2jupyterjupyter-kernel

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github

TypeScript9apache-2.0

4 months ago