Repository Index

47,133 repositories indexed

Filters

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

25–27 of 27 · Most stars

doches /lilypond-ui

A simple IDE for LilyPond

uPIDE is a simple IDE for Micropython

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