j-mueller

Jann Müller's repositories

Language:HaskellBSD-3-Clause000

Haskell meets MTG

Language:HaskellBSD-3-Clause300

Implementation of the language-server protocol in Haskell.

Language:HaskellBSD-3-Clause000

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

Language:TypeScriptBSD-3-Clause000

An implementation of aDPLLT algorithm in Haskell

Language:HaskellBSD-3-Clause300

HLedger dashboard

Language:HaskellNOASSERTION300

Diagrams standard library

Language:HaskellNOASSERTION000

Virtual-hom SVG rendering backend for diagrams

Language:HaskellBSD-3-Clause100

Repo for slides/other materials related to talks

Language:HaskellMIT100

Language:HaskellBSD-3-Clause100

Lenses and prisms for the user interface

Language:HaskellBSD-3-Clause100

Isometric projection rendered in SVG

Language:HaskellBSD-3-Clause100

Nodes & exercises for books that I am reading

Language:TeX000

Annotated predicates

Language:HaskellNOASSERTION000

A TextMate bundle for the Agda language

NOASSERTION100