Interactive Development
Showing 14 of 14 projects
An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.
A visual REPL-like interface for ClojureScript that lets developers interactively test and display code examples in a browser.
Interactive REPL environment for Neovim that allows code execution without leaving the editor buffer.
A modular Common Lisp game engine for building interactive applications and games.
An embedded, browser-based editor for Clojure that runs inside your project for interactive development.
An overlay companion for pandas that provides real-time hints and tips to improve data analysis code.
A Vim plugin for interactive Rocq (Coq) proof development, providing IDE-like features within the editor.
A tiny tool that lets you control and debug Java applications from a browser by sending code to the JVM.
A REPL, scratch pad, and debug console for Lua development and Neovim exploration.
PAX is a Common Lisp documentation system that integrates docstrings, narrative sections, and interactive exploration.
A lightweight GUI tool for tweaking parameters in JavaScript creative coding projects, inspired by dat.GUI.
A Common Lisp implementation for Llama inference operations, enabling LLM experimentation and integration with symbolic AI systems.
A JupyterLab extension to inspect and explore CPython bytecode with live preview and kernel comparison.
A Common Lisp testing framework that captures interactive REPL sessions as regression tests.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.