Your CNCF DevStats Card

A friendly effect system for Haskell

A Haskell monad transformer library for data validation

Step-by-step guide and code snippets for TidalCycles live coding with Haskell.

Veryl: A Modern Hardware Description Language

Style and Grammar Checker for 25+ Languages

A stack-based array programming language

The most scalable and reliable MQTT broker for AI, IoT, IIoT and connected vehicles

Haskell-style functional programming language running on Erlang VM.

Multi-lingual, Markdown-based Literate Programming... in run-anywhere bash

Fine-grained Haskell builds with Nix's dynamic derivations

nix-build.nix with RFC 92

Helm Charts for Fluentd and Fluent Bit

A Kubernetes controller to watch changes in ConfigMap and Secrets and do rolling upgrades on Pods with their associated Deployment, StatefulSet, DaemonSet and DeploymentConfig – [✩Star] if you're u…

A modern alternative to ls

Automated Reasoning in Nonlinear Theories of Reals

A fast image processing library with low memory needs.

A core language and API for dependently typed languages

Hunt the wumpus!

Asynchronous Language Server Protocol framework

Modules and schemes to make theming with Nix awesome.

The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.

toybox

A curated list of Reaper resources, scripts, extensions, JSFX, software and community links

Quickly locate nix packages with specific files [maintainers=@bennofs @figsoda @raitobezarius]

lsp-mode ❤️ origami.el

Emacs minor mode to highlight indentation

Logtalk - declarative object-oriented logic programming language

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.