Discover tweag/smtlib-backends Open Source project by Tweag (@tweag)

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

2,275

asterius

A formatter for Haskell source code

1,978

ormolu

Declarative and reproducible Jupyter environments - powered by Nix

958

jupyenv

The full power of R in Haskell.

660

HaskellR

topiary

sparkle

Haskell on Apache Spark.

A library for probabilistic programming in Haskell.

447

monad-bayes

Jupyter Notebook

407

awesome-learning-haskell

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

funflow

linear-base

Standard library for linear types in Haskell.

Rules for importing Nixpkgs packages into Bazel.

335

rules_nixpkgs

285

rules_haskell

Haskell rules for Bazel.

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

265

inline-java

Extensional capabilities and deriving combinators

230

capability

Python dependency checker

214

FawltyDeps

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

192

clodl

Call JavaScript from Haskell, and vice versa!

170

inline-js

Turn opam-based OCaml projects into Nix derivations

128

opam-nix

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

111

nixtract

Questions for the weekly Nix Hour

nix-hour

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

linear-types

TeX

python-monorepo-example

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

Terraform provider for NixOS and NixOps

terraform-provider-nixos

tf-ncl

Terraform Configurations with Nickel

Serializable closures for distributed programming.

distributed-closure

Terraform secret provider

terraform-provider-secret

Shell

guides

Designing, programming and deploying, in style.

servant-template

A modern template for a Servant

nix_bazel_codelab

Nix+Bazel Codelab

Braiding extensible effects together in a pipeline/workflow of tasks

kernmantle

Language-generic workbench for building static analysis

pirouette

Python-Nix FFI library using the new C API

python-nix

A tool for visualising and exploring Bazel Skyframe graphs.

skyscope

rules_sh

Shell rules for Bazel

nix-ux

Nix UX improvements

Genealogos, a Nix sbom generator

genealogos

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

ghc-wasm-miso-examples

ZeroMQ transport for distributed-process (aka Cloud Haskell)

rust-alpine-mimalloc

Shell

network-transport-zeromq

nix-remote-rust

Examples of valid and invalid Stack + Nix integration

haskell-stack-nix-example

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

Replica Exchange sampling as-a-service

chainsail

Examples of Web Workers using rust and WASM

rust-wasm-threads

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

Shell

purescript-unlift

MonadBase, MonadUnliftEffect, MonadUnliftAff, and MonadUnlift

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

formik-apollo

A little bit of for using Formik with Apollo

TypeScript

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

Bootstrap a reproducible yet flexible Python development environment using Nix

python-nix-flake-template

Stable links for various GHC WASM bindists

ghc-wasm-bindists

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.

Examples, documentation and other additional resources related to Chainsail

chainsail-resources

Template project for smart-contracts in Plutarch

hello-plutarch

Incremental module system buildup for Summer of Nix

summer-of-nix-modules

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

Create a digest of your work week using a LLM

work-daigest

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

Declarative composable typed workflows in Python

pyfunflow

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

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

toronto_reproducibility_workshop

nixos-specialisation-dual-boot

organist-example

Repository to house scripts to help with GH migration projects

gh-migration-scripts

JavaScript

gazelle_haskell_modules

A gazelle extension to generate haskell_module rules

Utilities for building forms with React

inputs

TypeScript

pthread

Bindings for the pthread library

Smart contracts for the Cardano blockchain written with Cooked-validators

100

cooked-smart-contracts