Jann Müller (j-mueller)

j-mueller

Geek Repo

Company:@avatar-engines

Location:Mannheim

Home Page:www.linkedin.com/in/jann-müller

Github PK Tool:Github PK Tool

ezoic increase your site revenue

Jann Müller's repositories

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

mtg-builder

Haskell meets MTG

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

language-server

Implementation of the language-server protocol in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

language-server-example

VS Code extension that shows how to use a language-server backend implemented in Haskell ( https://github.com/j-mueller/language-server)

Language:TypeScriptLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

dpllt

An implementation of aDPLLT algorithm in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0

hldb

HLedger dashboard

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:0Issues:0

diagrams-lib

Diagrams standard library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

diagrams-svg-virtual-hom

Virtual-hom SVG rendering backend for diagrams

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

talks

Repo for slides/other materials related to talks

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

virtual-hom

Lenses and prisms for the user interface

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

iso-svg

Isometric projection rendered in SVG

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

study

Nodes & exercises for books that I am reading

Language:TeXStargazers:0Issues:0Issues:0

prednote

Annotated predicates

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Agda.tmbundle

A TextMate bundle for the Agda language

License:NOASSERTIONStargazers:1Issues:0Issues:0