Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by deyaaeldeen

A curated list of projects in awesome lists by deyaaeldeen .

https://github.com/deyaaeldeen/gtlc

Interpreter for gradually-typed lambda calculus with mutable references

Last synced: 18 Mar 2025

https://github.com/deyaaeldeen/talks

LaTeX sources for my talks

Last synced: 04 Apr 2025

https://github.com/deyaaeldeen/monotonic

Monotonic References for Gradual Typing in Agda

agda gradual-typing semantics

Last synced: 04 Apr 2025