Our great sponsors
-
SurveyJS
Open-Source JSON Form Builder to Create Dynamic Forms Right in Your App. With SurveyJS form UI libraries, you can build and style forms in a fully-integrated drag & drop form builder, render them in your JS app, and store form submission data in any backend, inc. PHP, ASP.NET Core, and Node.js.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
RockStar
TNSL - a mostly undocumented hobby programming language
Yeah, someone even made a basic Turing machine to demonstrate it. As u/sext-scientist said, you have to click a button to perform each operation, but technically this means that you could write any program using HTML+CSS. Though the user might need an autoclicker to run even a "Hello World" program.
For playing around, I would use a notebook like Jupyter or https://github.com/fonsp/Pluto.jl .
Tampio might be useful here.
Elvish: https://elv.sh/
I learned it from https://doc.rust-lang.org/book/ as long as you have experience with programming it is very easy to understand.
Do it in Agda.
Racket is my pick.