Jann Müller's repositories
muesli-matcher
Match maker for muesli contract v1
plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
cardano-dex-backend
Spectrum Finance off-chain service for Cardano
cardano-dex-contracts
Smart contracts and specification of the AMM protocol on top of the Cardano blockchain
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.
cassowary-haskell
A haskell implementation of the Cassowary linear programming solver.
hodlcoin-cardano
Cardano (Plutus) implementation of hodlcoin
holmes
A reference library for constraint-solving with propagators and CDCL.
mssql-simple
SQL Server client library implemented in Haskell
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
react-svg-timeline
A React event timeline component based on SVG
react-svg-tooltip
React component to create tooltips for SVG elements
StatsPlots.jl
Statistical plotting recipes for Plots.jl