A functional programming language and theorem prover. By Microsoft Research.
A uniwidth typeface is a typeface where every weight and cut of a given character has the same width. In UIs you can use them to highlight things without affecting the layout – think about making a button’s text bold when the mouse cursor hovers over it, for instance.
A LaTeX package for microtypography. (CTAN, usage notes)
Edward Kmett’s playground library of data structures. Wavelet trees, cache-oblivious lookahead arrays, maximally unboxed vectors, bit arrays with a constant-time rank operation.
A Haskell library for generic linear-time sorting and grouping.
Haskell bindings to Dear ImGui, a GUI framework for video games.
Gruppen von Grundschülern gehen gemeinsam zur Schule, begleitet von einem Erwachsenen. Ein Projekt, das das Zufußgehen fördern soll.
Well tolerated, but not enough evidence that effective in the doses approved for use in humans yet.
Still, it’s one to watch.
An introduction to programming as well as an introduction to programming languages.
Based on Pyret.
A Haskell-based interactive environment for introductory programming.
A functional scripting language with a teaching focus.
A parsing language and Haskell library for natural language processing.
A few games made with Bitsy.
A game engine and editor for little worlds. Very approachable, minimal, and limited in capability. Perfect for teaching, experimentation, and story telling.
Also on Itch.
If regular Haskell is too easy for you, try these.
A configuration language that is also a statically typed, Turing-incomplete programming language with guaranteed termination.
You can use it to write refactorable configuration files.
Can’t be worse than YAML.
A doctest implementation for Cabal.
A keyboard customization tool for Windows, macOS, and GNU/Linux.
An ACME (LetsEncrypt) client as a shell script.
A XeTeX- and TeXLive-based self-contained, reproducible typesetting engine. Can also be used as a Rust library.
A local radio broadcast from Kishiwada, Osaka (岸和田市).
I like them because their talk radio Japanese is easy to follow and their music is just my style and mostly in Japanese as well.