Scientific measurement library for instruments, experiments, and live-plotting

🐾 Convert dconf files (e.g. GNOME Shell) to Nix, as expected by Home Manager [maintainer=@jtojnar]

Dynamic Notebook Environment for Wolfram Language written in Javascript

An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.

Quantum Visualization Interacting Toolkit for Ab-initio Simulations

Simulation framework for nonsmooth dynamical systems

Chebfun: numerical computing with functions.

Infinite canvas drawing/whiteboarding app for Windows, Linux and macOS. Made with Godot.

Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]

🦜🔗 Build context-aware reasoning applications

Open and inexpensive DIY IP-KVM based on Raspberry Pi

LaTeX grammar for tree-sitter

SQL powered operating system instrumentation, monitoring, and analytics.

Optimize floating-point expressions for accuracy

Form the upcoming revival of the NewLexeme special page on Wikidata

x86 C compiler written in untyped lambda calculus

A statically typed lisp, without a GC, for real-time applications.

a racket #lang for multiple files in one

JupyterLab desktop application, based on Electron.

Nix Packages collection & NixOS

My NixOS dotfiles

Environment Modules: provides dynamic modification of a user's environment

Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications

Improve your shell by making it functional through Haskell! (An update to Awkward)

Simple shell like scripting from Haskell

Independent mirror of repo.cz/tomato.git

A new way to see and navigate directory trees : https://dystroy.org/broot

a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.

Compiling to Categories

From Haskell to Hardware via CCCs