Discover @j-mueller Open Source projects

Jann Müller (@j-mueller)

j-mueller

Stars
64
Global Rank 286,019 (Top 10 %)
Followers 55
Following 78
Registered over 12 years ago
Most used languages

Haskell
100.0 %
Location 🇩🇪 Germany
Country Total Rank 14,554
Country Ranking

Haskell
63

language-agda

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

sc-tools

Select coins, build transactions

convex

DeFi experiments with cardano-node and the muesliswap contract

ghci-websockets

A websocket server in GHCi that survives reloads

dpllt

An implementation of aDPLLT algorithm in Haskell

mtg-builder

Haskell meets MTG

hldb

HLedger dashboard

time-patterns

Primitives and combinators for recurring dates

hdom-api

Common interface for hdom stuff

hdom-lucid

Render hdom to html via lucid

procedural

Experiments with procedural generation in Haskell

hdom-ghcjs

GHCJS bits for hdom (web worker diffing etc.)

muesli-matcher

Match maker for muesli contract v1

planning

Project planning with random variables for task durations.

iso-svg

Isometric projection rendered in SVG

talks

Repo for slides/other materials related to talks

virtual-hom-example

h3

h3 is a library for data visualisation, similar to d3.js

plutus-template

Template for a Plutus project

diagrams-svg-virtual-hom

Virtual-hom SVG rendering backend for diagrams

virtual-hom

Lenses and prisms for the user interface