Run compilers interactively from your web browser and interact with the assembly
- rust
- c-plus-plus
- go
- dlang
Repository Index
47,133 repositories indexed
1–23 of 23 · Most stars
PyGWalker: Turn your dataframe into an interactive UI for visual analysis
- data-analysis
- pandas
- tableau
- tableau-alternative
Powerful scripting language & versatile interactive shell
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
inkle's open source scripting language for writing interactive narrative.
:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.
- data-science
- jupyter
- ipython
- repl
A polyglot REPL built on .NET Interactive
- dotnet
- dotnet-interactive
- repl
Interactive console for Crystal programming language
- crystal
- repl
NodeJS Framework for Interactive CLIs
Interactive Coq Proofs in Vim
INSTEAD - Simple Text Adventure Interpreter
- interactive-fiction
- lua
- game-engine
- quests
Declarative framework for interactive CLI applications
- terminal
- command-line-interface
- library
- framework
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
A realtime visual programming language for interactive media.
Various algorithms visualized interactively on the web, entirely with Rust 🦀
- rust
- yew
- algorithms
- sorting-algorithms
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
Superior Lisp Interactive Mode for Pulsar
- common-lisp
- atom
- repl
- pulsar-package
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
- lisp
- sublime-text
- flex-completion
- repl
The universal ISSR server compatible with <your-favorite-programming-language>
A discord frontend for an interactive interpreter bot
Interactive debugger, REPL and runtime for Imba, inspired by PsySH.