Relational predicates for Pseudo-Random Number Generation (PRNG), Random Sampling & Distribution and Noise Algorithms.

Stac (formerly Mirai) is a Server-Driven UI (SDUI) framework for Flutter, enabling you to create stunning, cross-platform applications dynamically with JSON. Build and update your app's UI in real-…

Haskell interactive serverside web framework inspired by HTMX, Elm, and Phoenix LiveView

MilkDrop 3.0, supports any audio source, double-preset (.milk2), loading presets based on beat detection and much more...

A Haskell re-implementation of the Nix expression language

intended to be a launcher for a major lisp environment that just works.

The Magritte Meta-Model

Display a list of most recently opened files

Embed Neovim in Chrome, Firefox & others.

Your favorite language gets closer to bare metal.

A library for visualizing graphs in Prolog.

Functional Geometry in Prolog

Importer for some portuguese meal cards

Real-time audio in NixOS

The advanced drum machine for Linux, macOS, and Windows

A VS Code extension that provides language support for prolog

Constraint Logic Programming over Finite Domains

Get up and running with Llama 3.3, DeepSeek-R1, Phi-4, Gemma 3, and other large language models.

Resources related to FUSE (filesystem in user space).

Use youtube as a filesystem; Active dev.

Haskell wrapper for iced

TypeDB: the power of programming, in your database

🐚 Out of the shell solution for scripting in Haskell

The devs are over here at devzat, chat over SSH!

Truly independent web browser

Updating nixpkgs packages since 2018

Theming framework for NixOS, Home Manager, nix-darwin, and Nix-on-Droid