jules's repositories

outlookCategoryManager

simple manager for color categories in outlook vba

Language:VBAStargazers:1Issues:0Issues:0

abapGit

Git client for ABAP

Language:ABAPLicense:MITStargazers:0Issues:0Issues:0

abap_scheme

ABAP Scheme

License:MITStargazers:0Issues:0Issues:0

barbies-nested

Nested Barbies

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

c_doubly_linked_lists

doubly linked lists in c

Language:C++Stargazers:0Issues:0Issues:0
Language:TeXStargazers:0Issues:0Issues:0

dada

A total recursion scheme library for Dhall

License:AGPL-3.0Stargazers:0Issues:0Issues:0

dhall-bhat

Tasty meal of Dhall

Stargazers:0Issues:0Issues:0

dhall-recursive-adt

Convert recursive ADTs between Dhall and Haskell

License:CC0-1.0Stargazers:0Issues:0Issues:0

elementsOfCS

Elements of Computing Systems

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

haskell-z3

Haskell bindings to Microsoft's Z3 API (unofficial).

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

hsLibmnlSBV

minimals for library SBV

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

io

io

Stargazers:0Issues:0Issues:0

kb_nb_lang_scala

scala language notes

Stargazers:0Issues:0Issues:0

kb_nb_sap_basis_interfaces

SAP Schnittstellen

Stargazers:0Issues:0Issues:0

kb_nb_sap_basis_swlogistik

SAP Software Logistik

Stargazers:0Issues:0Issues:0

kb_nb_sap_pp

notebook for sap module PP

Stargazers:0Issues:0Issues:0

kb_nb_sap_sd

notebook for sap module SD

Stargazers:0Issues:0Issues:0

lamdu-calculus

An extended typed Lambda Calculus

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

ministg

Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

poly

Hindley-Milner type system with extensible records and variants, implemented in Go

License:MITStargazers:0Issues:0Issues:0
Language:PowerShellStargazers:0Issues:0Issues:0

stable-diffusion-uf

stable diffusion df

License:NOASSERTIONStargazers:0Issues:0Issues:0

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.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

syntax.abaplint.org

Automatically updated

Stargazers:0Issues:0Issues:0

thinking-with-types

đź“– source material for Thinking with Types

Language:TeXLicense:NOASSERTIONStargazers:0Issues:0Issues:0

vscode-markdown-editor

A vscode extension to make your vscode become a full-featured WYSIWYG markdown editor

License:MITStargazers:0Issues:0Issues:0

zjfm_abapgit_test

abapGit test

Language:ABAPStargazers:0Issues:0Issues:0