Our great sponsors
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- InfluxDB - Access the most powerful time series database as a service
- ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
- SonarQube - Static code analysis for 29 languages.
-
manim
A community-maintained Python framework for creating mathematical animations. (by ManimCommunity)
A famous one is manim for math education animations.
-
Gleam
Gleam is a graphics library written in Haskell that uses the web-browser as a display. Gleam is inspired by Gloss and uses Threepenny-gui as its back-end. (by Ebin-Benny)
Gleam
-
CodiumAI
TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
-
Pandoc is an extremely powerful tool that converts between dozens of different formats (including outputting 7 different slideshow formats). For example, you could write a document in markdown and convert it to reveal.js. Or you could write the document in LaTeX and convert to a powerpoint file. There's also a pretty flexible templating system and support for Haskell/Lua plugins, so it's pretty easy to get the output to look like you want it to.
