Pinned Repositories
Clank
Clank: proof assistant for propositional logics classical PC, K3, L3, LP, RM
Crush
Interpreter for the untyped lambda calculus written in haskell
DpllDimacSatSolver
sat solver in prolog for dimac cnf using the dpll algorithm
HaskellCurryHoward
a short introduction to the curry-howard isomorphism in haskell
outlookCategoryManager
simple manager for color categories in outlook vba
julmue's Repositories
julmue/outlookCategoryManager
simple manager for color categories in outlook vba
julmue/abapGit
Git client for ABAP
julmue/abap_scheme
ABAP Scheme
julmue/barbies-nested
Nested Barbies
julmue/c_doubly_linked_lists
doubly linked lists in c
julmue/cv
julmue/dada
A total recursion scheme library for Dhall
julmue/dhall-bhat
Tasty meal of Dhall
julmue/dhall-recursive-adt
Convert recursive ADTs between Dhall and Haskell
julmue/elementsOfCS
Elements of Computing Systems
julmue/haskell-ast-transformations
julmue/haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
julmue/hsLibmnlSBV
minimals for library SBV
julmue/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
julmue/io
io
julmue/kb_nb_lang_scala
scala language notes
julmue/kb_nb_sap_basis_interfaces
SAP Schnittstellen
julmue/kb_nb_sap_basis_swlogistik
SAP Software Logistik
julmue/kb_nb_sap_pp
notebook for sap module PP
julmue/kb_nb_sap_sd
notebook for sap module SD
julmue/lamdu-calculus
An extended typed Lambda Calculus
julmue/ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
julmue/poly
Hindley-Milner type system with extensible records and variants, implemented in Go
julmue/Powershell
julmue/stable-diffusion-uf
stable diffusion df
julmue/stable-diffusion-ui
A simple 1-click way to install and use Stable Diffusion on your own computer. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, and see the generated image.
julmue/syntax.abaplint.org
Automatically updated
julmue/thinking-with-types
📖 source material for Thinking with Types
julmue/vscode-markdown-editor
A vscode extension to make your vscode become a full-featured WYSIWYG markdown editor
julmue/zjfm_abapgit_test
abapGit test