Name: Andrea Bedini
Type: User
Company: @tweag
Bio: Theoretical physicist, experimental mathematician, or something in between. Strangely attracted by old codebases. Haskell / Nix / Build Systems / DevEx.
Location: Perth, Australia
Blog: https://www.andreabedini.com
Andrea Bedini's Projects
The core component that is used to participate in a Cardano decentralised blockchain.
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
A review article on conformal field theory
CIC machine learning workshop
Easy C++ code analysis with pure Haskell
A harness for building the bundled suite of all the optimization tools available in the COIN-OR repository. This repository is mirrored from https://projects.coin-or.org/CoinBinary
A simple Coinbase wallet manager written in Python
A (Haskell DSL) stream language for generating hard real-time C code.
Pure Key/Value database library for Erlang Applications
Compositional Representable Executable Machines
A powerful but simple library for measuring the performance of Haskell code.
A Python to C compiler
strongly typed dbus client library
Lesson plans for teaching the basics of HTML, CSS, SVG, JSON, and JS (primarily D3.js), in order to create browser-based data visualisations.
Automatically exported from code.google.com/p/dangerous-prototypes-open-hardware
A hands-on lab for exploring data science and machine learning on AWS using Jupyter
a logistics and persistence engine for heterogeneous data sets
An example illustrating declarative hydra projects
Discrete Event Simulation Specification
An incremental programming language
Mathjax plugin for discourse
DNS libary in Haskell
Tutorial for the Dyon programming language
EKG forwarding library
User documentation for Elm Bootstrap
Emscripten: An LLVM-to-JavaScript Compiler