Discover @deeglaze Open Source projects

Dionna Amalie Glaze (@deeglaze)

deeglaze

Stars
49
Global Rank 346,182 (Top 12 %)
Followers 69
Following 4
Registered over 13 years ago
Most used languages

Racket
100.0 %
Location 🇺🇸 United States
Country Total Rank 67,675
Country Ranking

Racket
64

scribble-latex-utils

Different useful things I have come up with to write my papers in scribble rather than directly in LaTeX

Typed-Racket-SMT-type-checker

An SMT solver with an interactive interface so it can be used as an inference engine.

macro-models

Typed Racket implementations of macro expander models from Matthew Flatt

slideshow-helpers

Combinators and pict constructors I have found useful for writing slideshow presentations.

Abstract-Redex

An implementation of core PLT Redex semantics that is translated through the Abstracting Abstract Machines systematic abtraction process.

polymorphic-splitting-port

A Racket port of Suresh Jagannathan's and Andrew Wright's Polymorphic Splitting implementation.

nifty-macros

A collection of general-purpose macros I've written and find generally useful.

Generalized-CFA2

An extension to Vardoulakis' CFA2 to work with any sound escape analysis.

arctic-circle

Simple program for illustrating random Aztec tilings for the Arctic circle theorem

small-mcfa

A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.

AAM-ify

A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.

temporal-aam

deeglaze-talks

The code and materials to my various talks, so people can replicate slides, etc.