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/tutte
Computes the Tutte Polynomial
andreabedini/aws-credentials-from-saml
Intercepts AWS credentials from SAML SSO login
andreabedini/planar-graph-sampler
andreabedini/ab-00t
andreabedini/amazonka
A comprehensive Amazon Web Services SDK for Haskell.
andreabedini/antlr4example
A Java example for Antlr4
andreabedini/bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
andreabedini/clang-pure
Easy C++ code analysis with pure Haskell
andreabedini/cowdb
Pure Key/Value database library for Erlang Applications
andreabedini/d-bus
strongly typed dbus client library
andreabedini/direct-sqlite
andreabedini/geos
This is a Haskell binding to Geos, the open-source geometry library
andreabedini/ghc.dev
The https://ghc.dev Website Generator
andreabedini/haskell-cpython
andreabedini/haskey
Transactional key-value store written entirely in Haskell
andreabedini/homebrew-astroid
Homebrew tap for Astroid
andreabedini/imgui-haskell
andreabedini/ixset
A Set type which supports multiple indexes
andreabedini/javacpp-presets
The missing Java distribution of native C++ libraries
andreabedini/ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
andreabedini/nixpkgs
Nix Packages collection
andreabedini/primitive
This package provides various primitive memory-related operations.
andreabedini/purescript-concur-starter
A Starter kit for Purescript-Concur. Uses Parcel.
andreabedini/pxt-wukong
(悟空)micro:bit multifunctional expansion board WuKong
andreabedini/rstudio
RStudio is an integrated development environment (IDE) for R
andreabedini/sagemaker-knockout
🥊 Automatic shutdown for SageMaker instance when it's not active!
andreabedini/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
andreabedini/sql-server-replication
andreabedini/stgi
A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
andreabedini/vcpkg
C++ Library Manager for Windows, Linux, and MacOS