jules's repositories
dada
A total recursion scheme library for Dhall
dhall-bhat
Tasty meal of Dhall
ministg
Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
barbies-nested
Nested Barbies
abap_scheme
ABAP Scheme
syntax.abaplint.org
Automatically updated
hypertypes
Hypertypes - generic programming for heterogeneous recursive types
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.
stable-diffusion-uf
stable diffusion df
vscode-markdown-editor
A vscode extension to make your vscode become a full-featured WYSIWYG markdown editor
lamdu-calculus
An extended typed Lambda Calculus
dhall-recursive-adt
Convert recursive ADTs between Dhall and Haskell
abapGit
Git client for ABAP
poly
Hindley-Milner type system with extensible records and variants, implemented in Go
zjfm_abapgit_test
abapGit test
elementsOfCS
Elements of Computing Systems
io
io
hsLibmnlSBV
minimals for library SBV
kb_nb_sap_basis_swlogistik
SAP Software Logistik
outlookCategoryManager
simple manager for color categories in outlook vba
kb_nb_sap_basis_interfaces
SAP Schnittstellen
c_doubly_linked_lists
doubly linked lists in c
kb_nb_sap_sd
notebook for sap module SD
kb_nb_sap_pp
notebook for sap module PP
kb_nb_lang_scala
scala language notes
haskell-z3
Haskell bindings to Microsoft's Z3 API (unofficial).
thinking-with-types
đź“– source material for Thinking with Types