GHC 9.8.4 cross-compiler for aarch64-apple-ios: five GHC patches, a libffi fix, a CI bootstrap workflow, and the complete failure-by-failure build log

Windows-native Nix evaluator - Haskell for logic, C99 for data. Parser, lazy evaluator, content-addressed store, builder, binary substituter.

Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules,@flokli,@yuyuyureka]

An Emacs major mode for editing Nix expressions, powered by tree-sitter [maintainer=@remi-gelinas]

A cheat sheet for Isabelle/ Isar/ HOL

Visualise eventlog events as a static webpage

Book: Functional Data Structures and Algorithms. A Proof Assistant Approach.

trick yourself into flakes

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

Dirty ksysguard port for KDE6. Moved from https://invent.kde.org/vvova/ksysguard.git because of locales

A curated list of CPU Schedulers for linux

An open-source keyboard for Android which respects your privacy. Currently in beta.

Formalizing the Intel 4004 microprocessor

Orion Viewer is pdf, djvu, xps, cbz and tiff file viewer for Android devices based on mupdf and DjVuLibre libraries

Performance comparison of regular expression engines.

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

The Montreal Haskell Compiler

Command-line tool to list Hackage reverse dependencies

XLibre Xserver

📚 A collection of resources about supercompilation

Haskell with extensions

Scripts to build a distribution of Emacs from sources, using MSYS2 and Mingw64(32)

FTP server app for android

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

ldd as a tree

SVG rendering library for Android

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

library for program like LOGO's turtle with using Haskell and glut

More stable versions of some articles from my blog