Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

73–96 of 351 · Most stars

Easy interactive web applications with R

  • r
  • rstudio
  • shiny
  • reactive

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.

Building powerful interactive prompts in Go, inspired by python-prompt-toolkit.

inkle's open source scripting language for writing interactive narrative.

Highly customizable & feature rich notifications. Interactive dismiss. Custom Views. SwiftUI. Tap-to-hold. Progress. Written in Swift, compatible for ObjC!

  • banner
  • ios
  • toast
  • toast-notifications

A Python package for interactive mapping and geospatial analysis with minimal coding in a Jupyter environment

  • ipyleaflet
  • folium
  • mapping
  • python