There are no reviews yet. Be the first to send feedback to the community and the maintainers!
language-agda
Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundlesc-tools
Select coins, build transactionsconvex
DeFi experiments with cardano-node and the muesliswap contractghci-websockets
A websocket server in GHCi that survives reloadsdpllt
An implementation of aDPLLT algorithm in Haskellmtg-builder
Haskell meets MTGhldb
HLedger dashboardtime-patterns
Primitives and combinators for recurring dateshdom-api
Common interface for hdom stuffhdom-lucid
Render hdom to html via lucidprocedural
Experiments with procedural generation in Haskellmuesli-matcher
Match maker for muesli contract v1planning
Project planning with random variables for task durations.iso-svg
Isometric projection rendered in SVGtalks
Repo for slides/other materials related to talksvirtual-hom-example
h3
h3 is a library for data visualisation, similar to d3.jsplutus-template
Template for a Plutus projectdiagrams-svg-virtual-hom
Virtual-hom SVG rendering backend for diagramsvirtual-hom
Lenses and prisms for the user interfaceLove Open Source and this site? Check out how you can help us