Deyaaeldeen Almahallawi (deyaaeldeen)

deyaaeldeen

Geek Repo

Company:@microsoft

Home Page:http://deyaaeldeen.github.io/

Github PK Tool:Github PK Tool


Organizations
Azure
Gradual-Typing
microsoft

Deyaaeldeen Almahallawi's repositories

talks

LaTeX sources for my talks

Language:TeXStargazers:2Issues:1Issues:0

monotonic

Monotonic References for Gradual Typing in Agda

Language:AgdaStargazers:1Issues:2Issues:0

openai-node

The official Node.js / Typescript library for the OpenAI API

Language:TypeScriptLicense:Apache-2.0Stargazers:1Issues:0Issues:0

autorest.testserver

Local server offering a variety of APIs that can be used to test code generated by AutoRest (https://github.com/Azure/autorest)

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

autorest.typescript

Extension for AutoRest (https://github.com/Azure/autorest) that generates TypeScript code. The transpiled javascript code is isomorphic. It can be run in browser and in node.js environment.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
Language:MakefileStargazers:0Issues:1Issues:0

azure-rest-api-specs

The source for REST API specifications for Microsoft Azure.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

azure-sdk

This is the Azure SDK parent repository and mostly contains documentation around guidelines and policies as well as the releases for the various languages supported by the Azure SDK.

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

azure-sdk-for-js

This repository is for active development of the Azure SDK for JavaScript (NodeJS & Browser). For consumers of the SDK we recommend visiting our public developer docs at https://docs.microsoft.com/en-us/javascript/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-js.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

azure-docs

Open source documentation of Microsoft Azure

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

azure-sdk-for-node

Azure SDK for Node.js - Documentation

Language:JavaScriptStargazers:0Issues:0Issues:0

azure-typescript-e2e-apps

Monorepo - Apps written in TypeScript to be either 1) deployed to Azure hosting or 2) integrated with Azure services

License:MITStargazers:0Issues:0Issues:0

benchmarks

Collection of benchmarks for gradually-typed languages

Language:RacketStargazers:0Issues:1Issues:0

cadl-dogfood

Boilerplate for a cadl repo for user to quickly get started

Language:PowerShellLicense:MITStargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:1Issues:0
Language:Emacs LispStargazers:0Issues:0Issues:0

downlevel-dts

Convert a new d.ts to one that works with older versions of Typescript

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

gradual-typing-bib

A bibliography on Gradual Typing

Language:RacketStargazers:0Issues:1Issues:0

gradual-typing-in-agda

Formalizations of Gradually Typed Languages in Agda

Language:AgdaStargazers:0Issues:0Issues:0

Grift

A compiler for the gradually typed lambda calculus

Language:CLicense:MITStargazers:0Issues:1Issues:0

islpy

Python wrapper for isl, an integer set library

Language:CStargazers:0Issues:1Issues:0

ms-rest-azure-js

Azure runtime for isomorphic javascript libraries generated by Autorest

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

ms-rest-js

Runtime for isomorphic javascript libraries generated by Autorest

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

Open-Hadith-Data

Open Hadith Library of the databases of 9 different books (including the Six Books)

License:NOASSERTIONStargazers:0Issues:0Issues:0

openai-quickstart-node

Node.js example app from the OpenAI API quickstart tutorial

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

rhea

A reactive messaging library based on the AMQP protocol

License:Apache-2.0Stargazers:0Issues:0Issues:0

rhea-promise

A promisified layer over rhea AMQP client

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:1Issues:0

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

wonks.github.io

PL Wonks website

Language:HTMLStargazers:0Issues:0Issues:0