Tweag

asterius

A Haskell to WebAssembly compiler

nickel

Better configuration for less

ormolu

A formatter for Haskell source code

HaskellR

The full power of R in Haskell.

jupyterWith

declarative and reproducible Jupyter environments - powered by Nix

monad-bayes

A library for probabilistic programming in Haskell.

linear-base

Standard library for linear types in Haskell.

rules_haskell

Haskell rules for Bazel.

rules_nixpkgs

Rules for importing Nixpkgs packages into Bazel.

trustix

Trustix: Distributed trust and reproducibility tracking for binary caches

gomod2nix

Convert applications using Go modules to Nix expressions

pirouette

Extraction of TLA+ from PlutusIR mealy machines

opam-nix

Turn opam-based OCaml projects into Nix derivations

rules_sh

Shell rules for Bazel

plutus-libs

chainsail-resources

Examples, documentation and other additional resources related to Chainsail

gazelle_haskell_modules

A gazelle extension to generate haskell_module rules

mina

nickel-union-contracts-paper

Paper on the hardness of implemening contracts for union (and intersection) types

nr-ghc-sandbox

nickel-lang.org

The website of the Nickel language

servant-template

A modern template for a Servant

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

cargo2nix

Build Rust crates with Nix

crate2nix

nix build file generator for rust crates

ghc-wasm32-wasi

haskell-stack-nix-example

Examples of valid and invalid Stack + Nix integration

libffi-wasm32

stack-templates

Project templates for stack new

wasi-libc

WASI libc implementation for WebAssembly