Tweag (@tweag)

Top repositories

1

nickel

Better configuration for less
Rust
2,183
star
2

asterius

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

ormolu

A formatter for Haskell source code
Haskell
943
star
4

jupyenv

Declarative and reproducible Jupyter environments - powered by Nix
Nix
618
star
5

HaskellR

The full power of R in Haskell.
Haskell
579
star
6

topiary

Rust
486
star
7

sparkle

Haskell on Apache Spark.
Haskell
444
star
8

awesome-learning-haskell

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

monad-bayes

A library for probabilistic programming in Haskell.
Jupyter Notebook
399
star
10

funflow

Functional workflows
Haskell
361
star
11

linear-base

Standard library for linear types in Haskell.
Haskell
330
star
12

rules_nixpkgs

Rules for importing Nixpkgs packages into Bazel.
Starlark
275
star
13

rules_haskell

Haskell rules for Bazel.
Starlark
262
star
14

inline-java

Haskell/Java interop via inline Java code in Haskell modules.
Haskell
228
star
15

capability

Extensional capabilities and deriving combinators
Haskell
214
star
16

FawltyDeps

Python dependency checker
Python
180
star
17

clodl

Turn dynamically linked ELF binaries and libraries into self-contained closures.
Starlark
164
star
18

inline-js

Call JavaScript from Haskell, and vice versa!
Haskell
128
star
19

opam-nix

Turn opam-based OCaml projects into Nix derivations
Nix
97
star
20

nix-hour

Questions for the weekly Nix Hour
Nix
75
star
21

linear-types

Drafts, notes and resources for adding linear typing to GHC.
TeX
74
star
22

nixtract

A CLI tool to extract the graph of derivations from a Nix flake.
Rust
72
star
23

terraform-provider-nixos

Terraform provider for NixOS and NixOps
Go
70
star
24

distributed-closure

Serializable closures for distributed programming.
Haskell
63
star
25

python-monorepo-example

Example of a python monorepo using pip, the poetry backend, and Pants
Python
62
star
26

terraform-provider-secret

Terraform secret provider
Shell
62
star
27

tf-ncl

Terraform Configurations with Nickel
Rust
58
star
28

guides

Designing, programming and deploying, in style.
58
star
29

servant-template

A modern template for a Servant
Haskell
51
star
30

kernmantle

Braiding extensible effects together in a pipeline/workflow of tasks
Haskell
47
star
31

pirouette

Language-generic workbench for building static analysis
Haskell
47
star
32

skyscope

A tool for visualising and exploring Bazel Skyframe graphs.
Haskell
45
star
33

nix_bazel_codelab

Nix+Bazel Codelab
Starlark
44
star
34

python-nix

Python-Nix FFI library using the new C API
Python
43
star
35

rules_sh

Shell rules for Bazel
Starlark
41
star
36

nix-ux

Nix UX improvements
Nix
36
star
37

blog-resources

Extra resources for Tweag's blog posts.
Jupyter Notebook
35
star
38

cooked-validators

Haskell
35
star
39

lagoon

Data centralization tool
Haskell
35
star
40

webauthn

A library for parsing and validating webauthn/fido2 credentials
Haskell
34
star
41

haskell-training

Material for Haskell training
Haskell
31
star
42

hyperion

A lab for future Criterion features.
Haskell
29
star
43

genealogos

Genealogos, a Nix sbom generator
Rust
24
star
44

network-transport-zeromq

ZeroMQ transport for distributed-process (aka Cloud Haskell)
Haskell
22
star
45

haskell-stack-nix-example

Examples of valid and invalid Stack + Nix integration
Nix
20
star
46

ghc-wasm-miso-examples

Haskell
18
star
47

timestats

A library to profile time in a Haskell program
Haskell
17
star
48

rust-alpine-mimalloc

Shell
17
star
49

ssh-participation

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

nix_gazelle_extension

Gazelle language extension for nix files
Go
15
star
51

epcb

Nix RFC draft on evaluation purity and caching builtins
15
star
52

nixpkgs-graph-explorer

Explore the nixpkgs dependency graph
Python
14
star
53

nix-remote-rust

Rust
14
star
54

nixpkgs-graph

Generate a graph from nixpkgs
Python
14
star
55

haskell-binaryen

Haskell bindings to binaryen.
WebAssembly
14
star
56

gazelle_cabal

A gazelle extension to produce Haskell rules from cabal files
Haskell
13
star
57

smtlib-backends

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

chainsail

Replica Exchange sampling as-a-service
Python
11
star
59

rust-wasm-threads

Examples of Web Workers using rust and WASM
Rust
11
star
60

random-quality

Framework for testing quality of random number generators
Nix
10
star
61

rules_haskell_examples

Examples of using Bazel's Haskell rules.
9
star
62

funflow2

Compose and run computational workflows
Haskell
9
star
63

rust-wasm-nix

Nix
9
star
64

store-graph

simple haskell code that builds a graph from the nix store
Shell
9
star
65

purescript-unlift

MonadBase, MonadUnliftEffect, MonadUnliftAff, and MonadUnlift
Nix
9
star
66

stackage-head

Stackage builds based on GHC HEAD
Haskell
9
star
67

nix-installer-generator

Nix installer generator
Nix
8
star
68

functionless

CLI tool for packaging Haskell executables for AWS Lambda
Java
8
star
69

ch-nixops-example

Example deployment of Cloud Haskell app using NixOps.
Haskell
8
star
70

nix-store-gcs-proxy

A HTTP nix store that proxies requests to Google Storage
Nix
8
star
71

ghc-wasm32-wasi

DEPRECATED, new home https://gitlab.haskell.org/ghc/ghc-wasm-meta
Nix
7
star
72

python-nix-flake-template

Bootstrap a reproducible yet flexible Python development environment using Nix
Nix
7
star
73

terraform-gcp-cdn-bucket

A Google Storage Bucket + CDN configuration
HCL
7
star
74

servant-oauth2

A modern servant wrapper around the wai-middleware-auth OAuth2 provider implementations.
Haskell
7
star
75

hello-plutarch

Template project for smart-contracts in Plutarch
Nix
6
star
76

tendermint-bazel

Building Go with Bazel
Go
6
star
77

linear-constraints

TeX
6
star
78

ghc-wasm-bindists

Stable links for various GHC WASM bindists
Haskell
6
star
79

ghc-asterius

DEPRECATED, new home https://gitlab.haskell.org/ghc/ghc
Haskell
6
star
80

remote-execution-nix

nix to bazel-re proxy
Rust
6
star
81

chainsail-resources

Examples, documentation and other additional resources related to Chainsail
Python
5
star
82

tf-ncl-examples

Examples of Terraform configuration with Nickel
NCL
5
star
83

summer-of-nix-modules

Incremental module system buildup for Summer of Nix
Nix
5
star
84

nickel-lang.org

The website of the Nickel language
JavaScript
5
star
85

nix-marp

Run Marp tools via Nix
Nix
5
star
86

nickel-kubernetes

Typecheck, template and modularize your Kubernetes definitions with Nickel
Rust
5
star
87

duckling

a Haskell library that parses text into structured data
Haskell
4
star
88

graft

Haskell
4
star
89

nix-unit-testing

A showcase of different unit testing frameworks for Nix.
Python
4
star
90

rules_purescript

Python
4
star
91

toronto_reproducibility_workshop

Slides and toy project for the talk at the Toronto Workshop on Reproducibility
Python
4
star
92

nixos-specialisation-dual-boot

Nix
4
star
93

organist-example

Python
4
star
94

inputs

Utilities for building forms with React
TypeScript
3
star
95

pyfunflow

Declarative composable typed workflows in Python
Python
3
star
96

pthread

Bindings for the pthread library
Haskell
3
star
97

cooked-smart-contracts

Smart contracts for the Cardano blockchain written with Cooked-validators
Haskell
3
star
98

stack-docker-nix

Provision Haskell Stack Docker images using Nix
Dockerfile
3
star
99

zeromq4-haskell

Clone of the https://gitlab.com/twittner/zeromq-haskell
Haskell
3
star
100

gazelle_haskell_modules

A gazelle extension to generate haskell_module rules
Haskell
3
star