Fully compiled and installable cross compilation toolchains based on musl libc.
An ELF interpreter for GNU/Linux that you can specify in your executables instead of the default (ld-linux.so) to enable the targeted use of an alternative loader and library set. In contrast to setting LD_LIBRARY_PATH and calling your desired loader version directly, it does not infect the environment for programs called by your program.
Reminds me of the olden days, where I took my first programming steps with Omikron BASIC on a high-resolution monochrome Atari ST screen.
Related: Verdandi theme for Visual Studio Code.
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.