jules's starred repositories
stable-diffusion-webui
Stable Diffusion web UI
LtuPatternFactory
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
category-theory-programmers
Category theory in the context of (functional) programming
Haskell-Morte-Library
A bare-bones calculus-of-constructions
python-lenses
A python lens library for manipulating deeply nested immutable structures
type-theory-study-group
Resources for the online Type Theory Study Group
ABAP-OOP-Library
ABAP Object-oriented programming Library
language-lua
Lua parser and pretty-printer
PSBookmark
PowerShell Location bookmarks for easier and simple navigation
abap_scheme
ABAP Scheme
dhall-recursive-adt
Convert recursive ADTs between Dhall and Haskell