Interactive Development

3 projects

Showing 3 of 3 projects

An interactive theorem prover providing a formal language to write mathematical definitions, algorithms, and theorems with machine-checked proof development.

#machine-checked-proofs#mathematics#coq

A visual REPL-like interface for ClojureScript that lets developers interactively test and display code examples in a browser.

#clojurescript#visual-repl#component-development

Stars1.5k

Forks107

Last commit2 years ago

iron.nvimLua

Interactive REPL environment for Neovim that allows code execution without leaving the editor buffer.

#developer-tools#lua-plugin#nvim-integration

Stars1.3k

Forks108

Last commit2 months ago

Community-curated · Updated weekly · 100% open source

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.

Submit a project Star on GitHub