Jann Müller's repositories
accelerate-llvm
LLVM backend for Accelerate
muesli-matcher
Match maker for muesli contract v1
easy-bi
A simple and easy Business Intelligence (BI) tool
sc-tools
Select coins, build transactions
accelerate
Embedded language for high-performance array computations
annealing
Haskell implementation of simulated annealing
cardano-ledger
A formal specification and executable model of the ledger rules introduced by the Shelley release
cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
cardano-wallet
HTTP server & command-line for managing UTxOs and HD wallets in Cardano.
cardano-wallet-interface
a package that makes easier to interact with wallets on cardano
csv
Stream to CSV
freer-simple
A friendly effect system for Haskell
haskell-crypto
Haskell cryptography done right
lens-accelerate
Instances to mix Lens and Accelerate
mssql-simple
SQL Server client library implemented in Haskell
muesliswap-cardano-contracts
Smart Contracts powering AdaMuesliSwap
muesliswap-cardano-contracts-1
Smart contracts powering MuesliSwap on Cardano
plutus-apps
The Plutus application platform
quickcheck-state-machine
Test monadic programs using state machine based models
StatsPlots.jl
Statistical plotting recipes for Plots.jl