Tweag (tweag)

Tweag

tweag

Geek Repo

Software Innovation Lab

Home Page:http://tweag.io

Twitter:@tweagio

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Tweag's repositories

asterius

A Haskell to WebAssembly compiler

nickel

Better configuration for less

Language:RustLicense:MITStargazers:997Issues:39Issues:193

ormolu

A formatter for Haskell source code

Language:HaskellLicense:NOASSERTIONStargazers:743Issues:41Issues:446

HaskellR

The full power of R in Haskell.

Language:HaskellLicense:NOASSERTIONStargazers:533Issues:63Issues:106

jupyterWith

declarative and reproducible Jupyter environments - powered by Nix

Language:Jupyter NotebookLicense:MITStargazers:336Issues:39Issues:95

monad-bayes

A library for probabilistic programming in Haskell.

Language:HaskellLicense:MITStargazers:308Issues:60Issues:48

linear-base

Standard library for linear types in Haskell.

Language:HaskellLicense:MITStargazers:272Issues:41Issues:142

rules_haskell

Haskell rules for Bazel.

Language:StarlarkLicense:Apache-2.0Stargazers:228Issues:33Issues:721

rules_nixpkgs

Rules for importing Nixpkgs packages into Bazel.

Language:StarlarkLicense:Apache-2.0Stargazers:144Issues:41Issues:95

trustix

Trustix: Distributed trust and reproducibility tracking for binary caches

gomod2nix

Convert applications using Go modules to Nix expressions

Language:GoLicense:MITStargazers:78Issues:5Issues:22

pirouette

Extraction of TLA+ from PlutusIR mealy machines

Language:HaskellLicense:MITStargazers:21Issues:7Issues:20

opam-nix

Turn opam-based OCaml projects into Nix derivations

Language:NixLicense:MITStargazers:19Issues:3Issues:6

rules_sh

Shell rules for Bazel

Language:StarlarkLicense:Apache-2.0Stargazers:19Issues:47Issues:3
Language:HaskellLicense:MITStargazers:8Issues:6Issues:26

chainsail-resources

Examples, documentation and other additional resources related to Chainsail

Language:PythonStargazers:3Issues:0Issues:0

gazelle_haskell_modules

A gazelle extension to generate haskell_module rules

Language:GoLicense:Apache-2.0Stargazers:2Issues:0Issues:0
Language:Jupyter NotebookLicense:Apache-2.0Stargazers:2Issues:0Issues:0

nickel-union-contracts-paper

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

Language:TeXLicense:MITStargazers:2Issues:0Issues:0
Language:HaskellStargazers:2Issues:0Issues:0

nickel-lang.org

The website of the Nickel language

Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:6

servant-template

A modern template for a Servant

Language:HaskellStargazers:1Issues:0Issues:0

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

Language:CLicense:Apache-2.0Stargazers:1Issues:2Issues:0

cargo2nix

Build Rust crates with Nix

License:MITStargazers:0Issues:0Issues:0

crate2nix

nix build file generator for rust crates

Language:NixLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

haskell-stack-nix-example

Examples of valid and invalid Stack + Nix integration

Language:NixLicense:MITStargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:2Issues:0

stack-templates

Project templates for stack new

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

wasi-libc

WASI libc implementation for WebAssembly

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0