julmue

file-upload

Simple file uploader written in Haskell & modern HTML5/JavaScript

math-symbol-lists

Lists of Unicode mathematical symbols and latex commands

dotfile_vim

dotfile_ghc

zsh-git-prompt

Informative git prompt for zsh

dotfile_git

letter

Write letters with pandoc and Koma letters.

dotfile_spacemacs

spacemacs dotfile

texmf

texmf tree

NotesThesis

Notes for my thesis

RelationaleDatenbanken

Theorie und Praxis relationaler Datenbanken

julmue.github.io

Open-guake-here

Nautilus python extension to open a new tab in guake in the current directory

bitblast

CNF encoding algorithms for arithmetical operations

typing-haskell-in-haskell

https://web.cecs.pdx.edu/~mpj/thih/

stl

Interpreter for the simply typed lambda calculus / proof assistant for constructive propositional logicg

unicode-math-input

Emacs input method for entering unicode math symbols with LaTeX macros.

Clank

Clank: proof assistant for propositional logics classical PC, K3, L3, LP, RM

LambdaTypeCheckers

type checkers for various typed lambda calculi

bound-gen

Making bound play nice with monad-gen.

HaskellCurryHoward

a short introduction to the curry-howard isomorphism in haskell

DpllDimacSatSolver

sat solver in prolog for dimac cnf using the dpll algorithm

company-math

Completion back-ends for for math unicode symbols and latex tags

TexNotes

Notes for Latex

imp

Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.

LatexMinimals

MasterThesis

Master Thesis

LinuxNotes

Software-Foundations

My attempt at the 'Software Foundations' book.

PropositionalCalculusToolKit

toolkit for propositional calculus written in Haskell