Discover tweag/ghc-wasm-miso-examples Open Source project

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

2,061

asterius

A formatter for Haskell source code

1,981

ormolu

Declarative and reproducible Jupyter environments - powered by Nix

924

jupyenv

The full power of R in Haskell.

585

HaskellR

topiary

sparkle

Haskell on Apache Spark.

A collection of resources which were useful to Tweagers for learning Haskell and its various aspects

444

awesome-learning-haskell

399

monad-bayes

A library for probabilistic programming in Haskell.

funflow

linear-base

Standard library for linear types in Haskell.

Rules for importing Nixpkgs packages into Bazel.

333

rules_nixpkgs

262

rules_haskell

Haskell rules for Bazel.

Haskell/Java interop via inline Java code in Haskell modules.

260

inline-java

Extensional capabilities and deriving combinators

228

capability

Python dependency checker

214

FawltyDeps

Turn dynamically linked ELF binaries and libraries into self-contained closures.

166

clodl

Call JavaScript from Haskell, and vice versa!

152

inline-js

Turn opam-based OCaml projects into Nix derivations

128

opam-nix

Drafts, notes and resources for adding linear typing to GHC.

linear-types

TeX

terraform-provider-nixos

Terraform provider for NixOS and NixOps

nix-hour

Questions for the weekly Nix Hour

Serializable closures for distributed programming.

distributed-closure

Terraform secret provider

terraform-provider-secret

A CLI tool to extract the graph of derivations from a Nix flake.

nixtract

Designing, programming and deploying, in style.

guides

tf-ncl

Terraform Configurations with Nickel

Example of a python monorepo using pip, the poetry backend, and Pants

python-monorepo-example

A modern template for a Servant

servant-template

Braiding extensible effects together in a pipeline/workflow of tasks

kernmantle

Language-generic workbench for building static analysis

pirouette

A tool for visualising and exploring Bazel Skyframe graphs.

skyscope

rules_sh

Shell rules for Bazel

nix_bazel_codelab

Nix+Bazel Codelab

Python-Nix FFI library using the new C API

python-nix

nix-ux

Nix UX improvements

Extra resources for Tweag's blog posts.

blog-resources

Jupyter Notebook

cooked-validators

lagoon

Data centralization tool

A library for parsing and validating webauthn/fido2 credentials

webauthn

Material for Haskell training

haskell-training

A lab for future Criterion features.

hyperion

ZeroMQ transport for distributed-process (aka Cloud Haskell)

network-transport-zeromq

Examples of valid and invalid Stack + Nix integration

haskell-stack-nix-example

Genealogos, a Nix sbom generator

genealogos

A library to profile time in a Haskell program

timestats

An ssh server that creates new users on-the-fly, great for letting users participate in a demo

ssh-participation

Gazelle language extension for nix files

nix_gazelle_extension

epcb

Nix RFC draft on evaluation purity and caching builtins

nixpkgs-graph-explorer

Explore the nixpkgs dependency graph

Generate a graph from nixpkgs

nixpkgs-graph

Haskell bindings to binaryen.

haskell-binaryen

WebAssembly

gazelle_cabal

A gazelle extension to produce Haskell rules from cabal files

A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

smtlib-backends

Examples of Web Workers using rust and WASM

rust-wasm-threads

Replica Exchange sampling as-a-service

chainsail

Framework for testing quality of random number generators

random-quality

Examples of using Bazel's Haskell rules.

rules_haskell_examples

funflow2

Compose and run computational workflows

rust-wasm-nix

simple haskell code that builds a graph from the nix store

store-graph

MonadBase, MonadUnliftEffect, MonadUnliftAff, and MonadUnlift

purescript-unlift

Stackage builds based on GHC HEAD

stackage-head

nix-installer-generator

Nix installer generator

CLI tool for packaging Haskell executables for AWS Lambda

functionless

Java

ch-nixops-example

Example deployment of Cloud Haskell app using NixOps.

A HTTP nix store that proxies requests to Google Storage

nix-store-gcs-proxy

DEPRECATED, new home https://gitlab.haskell.org/ghc/ghc-wasm-meta

ghc-wasm32-wasi

rust-alpine-mimalloc

Bootstrap a reproducible yet flexible Python development environment using Nix

python-nix-flake-template

A Google Storage Bucket + CDN configuration

terraform-gcp-cdn-bucket

HCL

servant-oauth2

A modern servant wrapper around the wai-middleware-auth OAuth2 provider implementations.

Template project for smart-contracts in Plutarch

hello-plutarch

DEPRECATED, new home https://gitlab.haskell.org/ghc/ghc

tendermint-bazel

Building Go with Bazel

linear-constraints

TeX

ghc-asterius

remote-execution-nix

nix to bazel-re proxy

Examples, documentation and other additional resources related to Chainsail

chainsail-resources

Examples of Terraform configuration with Nickel

tf-ncl-examples

NCL

nickel-lang.org

The website of the Nickel language

JavaScript

nix-marp

Run Marp tools via Nix

Typecheck, template and modularize your Kubernetes definitions with Nickel

nickel-kubernetes

a Haskell library that parses text into structured data

duckling

graft

A showcase of different unit testing frameworks for Nix.

nix-unit-testing

rules_purescript

Incremental module system buildup for Summer of Nix

summer-of-nix-modules

Slides and toy project for the talk at the Toronto Workshop on Reproducibility

toronto_reproducibility_workshop

nixos-specialisation-dual-boot

Bindings for the pthread library

pthread

Smart contracts for the Cardano blockchain written with Cooked-validators

cooked-smart-contracts

Provision Haskell Stack Docker images using Nix

stack-docker-nix

Dockerfile

organist-example

Clone of the https://gitlab.com/twittner/zeromq-haskell

zeromq4-haskell

A gazelle extension to generate haskell_module rules

gazelle_haskell_modules

GitHub action for executing scripts via nix-shell.

run-nix-shell

Data science focussed on economics and social science

economics

Jupyter Notebook

smart-contracts-lh

Plutus smart contracts verified with Liquid Haskell

Transform 'open' in OCaml source files for optimal legibility

ocaml-close

OCaml

100

nix-remote-rust