andreabedini
Haskell / Nix / Build Systems / DevEx. Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases.
@tweag Perth, Australia
Pinned Repositories
1324-avoiding-partitions
aws-credentials-from-saml
Intercepts AWS credentials from SAML SSO login
cabal-cache-native
Native GitHub Action cache for your cabal project
cabal-solver-plan
Run cabal-install solver with specified inputs
experimental-mathematics
:notebook_with_decorative_cover: Lecture notes for Experimental Mathematics 2014
foliage-template
Foliage Haskell package repository template
ipython
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
PyTables
A package to manage extremely large amounts of data.
tutte
Computes the Tutte Polynomial
foliage
🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
andreabedini's Repositories
andreabedini/foliage-template
Foliage Haskell package repository template
andreabedini/actions
Github actions for Haskell CI
andreabedini/akvorado
Flow collector, enricher and visualizer
andreabedini/cardano-addresses
Addresses and mnemonic manipulation & derivations
andreabedini/cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
andreabedini/crem
Compositional Representable Executable Machines
andreabedini/declarative-hydra-example
An example illustrating declarative hydra projects
andreabedini/docker-haskell
andreabedini/ekg-forward
EKG forwarding library
andreabedini/gitlib
andreabedini/HaskellR
The full power of R in Haskell.
andreabedini/hydra
Hydra, the Nix-based continuous build system
andreabedini/hydra-1
Implementation of the Hydra Head protocol
andreabedini/hydra-tools
andreabedini/io-sim
Haskell's IO simulator which closely follows core packages (base, async, stm).
andreabedini/jq
Command-line JSON processor
andreabedini/marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
andreabedini/marlowe-cardano
Marlowe smart contract language Cardano implementation
andreabedini/minimal-reproducer-cabal-sublib-haskell-nix
andreabedini/nickel-nix
An experimental Nix toolkit to use nickel as a language for writing nix packages, shells and more.
andreabedini/petrol-pump
Petrol pump example using SodiumFRP
andreabedini/plutarch-templete
andreabedini/plutonomy
An optimizer for untyped plutus core
andreabedini/plutus
The Plutus language implementation and tools
andreabedini/plutus-apps
The Plutus application platform
andreabedini/plutus-starter
A starter project for Plutus apps
andreabedini/quickcheck-contractmodel
andreabedini/simpler-easier
andreabedini/stackage.nix
Automatically generated Nix expressions of Stackage snapshots
andreabedini/typed-protocols
Session types framework with support of protocol pipelining.