REPL Driven Development

https://www.reddit.com/r/programming/comments/kpjusj/on_repldriven_programming/
https://mikelevins.github.io/posts/2020-12-18-repl-driven/

https://blog.avocadosh.xyz/repl-driven-development-in-python

https://lukeplant.me.uk/blog/posts/repl-python-programming-and-debugging-with-ipython/

• Notes on building debugging puzzles
  
  • mysteries.wizardzines.com/
    
• https://jvns.ca/blog/2015/11/22/how-i-got-better-at-debugging/
  

• https://news.ycombinator.com/item?id=33251799
  Maria https://www.maria.cloud/
  Glamorous Toolkit https://gtoolkit.com/
  Data Rabbit https://datarabbit.com/
  Nextjournal https://nextjournal.com/
  Clerk https://github.com/nextjournal/clerk
  Enso https://enso.org/
  
• https://threadreaderapp.com/thread/1552941552401522689.html
  
• 🎪 Clerk Demo on GitHub
  
• Clerk: Moldable Live Programming for Clojure
  

• Emmy / SICMUtils + Nextjournal Quick Start – Nextjournal
  
• https://emmy.mentat.org/
  
• https://reality.mentat.org/essays/reality/introduction
  
• Clerk seems self-hosted, nextjournal is not
  

• JazonJiao/Manim.js: Replicating 3Blue1Brown’s math animation engine in JavaScript (p5.js)
  
• Jazon Jiao · Projects
  
• Animaciones programáticas con Manim como soporte a la docencia universitaria
  
• RickDW/manim-revealjs: Plugins for using Manim animations in Reveal.js slide decks.
  
• Elteoremadebeethoven/manim-revealjs-example: Manim RevealJS example
  
• stevenpetryk/mafs: React components for interactive math
  

• https://github.com/unconed/mathbox
  
• MathBox²
  

Scrapscript is best understood through a few perspectives:

• it’s JSON with types and functions and hashed references
  
• it’s tiny Haskell with extreme syntactic consistency
  
• it’s a language with a weird IPFS thing
  

Scrapscript solves the software sharability problem.

Modern software breaks at boundaries. APIs diverge, packages crumble, configs ossify, serialization corrupts, git tangles, dependencies break, documentation dies, vulnerabilities surface, etc.

• Replit: The software creation platform. IDE, AI, and Deployments - Replit
  
• Is replit open source? - Replit
  
• Replit — How we went from supporting 50 languages to all of them
  

• Statically and dynamically typed scripts
  

  For more than a decade I’ve preferred F# or Haskell for ad-hoc scripting. Note that while these languages are statically typed, they are low on ceremony. Types are inferred rather than declared. This means that for scripts, you can experiment with small code blocks, iteratively move closer to what you need, just as you would with a language like Python. Change a line of code, and the inferred type changes with it; there are no type declarations that you also need to fix.