Showing 21 of 21 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.
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
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.
A Swift playground tool for building, debugging, and refining iOS animations with UIViewPropertyAnimator.
A Terraform REPL for interactively building and testing infrastructure-as-code configurations.
A Clojure debugging tool that injects REPL breakpoints into functions for interactive development.
A Neovim plugin that sends buffer content or file paths from file explorers to tmux panes for interactive development.
Developer experience tool for testing React Native components with interactive props and state fixtures.
Search documentation of Common Lisp symbols within the current Lisp image for a given query string.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.