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