Pinned Repositories
aoai-realtime-audio-sdk
Azure OpenAI code resources for using gpt-4o-realtime capabilities.
autorest.testserver
Local server offering a variety of APIs that can be used to test code generated by AutoRest (https://github.com/Azure/autorest)
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.
awesome-emacs
A community driven list of useful Emacs packages, libraries and others.
azure-docs
Open source documentation of Microsoft Azure
azure-js-dev-docker
GTLC
Interpreter for gradually-typed lambda calculus with mutable references
monotonic
Monotonic References for Gradual Typing in Agda
openai-node
The official Node.js / Typescript library for the OpenAI API
talks
LaTeX sources for my talks
deyaaeldeen's Repositories
deyaaeldeen/GTLC
Interpreter for gradually-typed lambda calculus with mutable references
deyaaeldeen/awesome-emacs
A community driven list of useful Emacs packages, libraries and others.
deyaaeldeen/c343-grading
deyaaeldeen/dotfiles
deyaaeldeen/h343-grading
deyaaeldeen/hyper-coercions
A new representation for coercions based gradual typing
deyaaeldeen/islpy
Python wrapper for isl, an integer set library
deyaaeldeen/language-python
A parser for Python 2.x and 3.x written in Haskell
deyaaeldeen/polly
Mirror of official polly git repository located at http://llvm.org/git/polly. Updated every five minutes.