Andrea Bedini (andreabedini)

andreabedini

Geek Repo

Company:@tweag

Location:Perth, Australia

Home Page:https://www.andreabedini.com

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Andrea Bedini's repositories

foliage

🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.

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

byo-hackage

Bring Your Own Hackage - A template for personal Hackage repositories

Language:HTMLStargazers:0Issues:0Issues:0

alex

A lexical analyser generator for Haskell

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

License:NOASSERTIONStargazers:0Issues:0Issues:0

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

Stargazers:0Issues:0Issues:0

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

differential-datalog

An incremental programming language

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

github

The github API for Haskell

License:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:HaskellStargazers:0Issues:0Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:0Issues:0

hydra

Hydra, the Nix-based continuous build system

License:GPL-3.0Stargazers:0Issues:0Issues:0

mtl

The Monad Transformer Library

License:NOASSERTIONStargazers:0Issues:0Issues:0

network-wait

A lightweight Haskell library for waiting on networked services to become available

License:MITStargazers:0Issues:0Issues:0

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

License:Apache-2.0Stargazers:0Issues:0Issues:0

petrol-pump

Petrol pump example using SodiumFRP

Language:TypeScriptStargazers:0Issues:0Issues:0

pier

Yet another Haskell build system.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

Language:HTMLLicense:CC-BY-4.0Stargazers:0Issues:0Issues:0

plutus-metatheory

Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)

License:MITStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

retrie

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

License:MITStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

template-haskell

The Haskell template, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.

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

wiredtiger-haskell

Haskell bindings for the WiredTiger library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0