Showing 6 of 150 projects
A Jupyter kernel for the ACL2 theorem prover, enabling interactive computational logic development in notebooks.
A secure, scalable IPython Notebook service for managing multiple notebook servers with LDAP authentication and supervisor process management.
Store, version, edit, and execute Jupyter notebooks via REST APIs for integration into data pipelines.
A Common Lisp Jupyter widget for creating and visualizing interactive graphs using Cytoscape.js.
A data grid widget for Common Lisp Jupyter notebooks, enabling spreadsheet-like data manipulation and visualization.
A Jupyter widget for Common Lisp that provides molecular diagram visualization and editing using the kekule.js library.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.