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