Gregory Gerasev's starred repositories
uniswap-arbitrage-analysis
Uniswap arbitrage problem analysis
nammayatri
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
martin-lof
papers of Per Martin Löf
autodocodec
self(auto)- documenting encoders and decoders
hackage-trustees
Issue tracker for Hackage maintainance and trustee operations
autorecorder
An automatic declarative ASCIInema recorder
reflex-ghci
Run GHCi from within a Reflex FRP application and interact with it using a functional reactive interface.
agda-presburger
Deciding Presburger arithmetic in agda
formal-logic
TODO
SemanticsWithApplications
Formal semantics in Agda.
formal-methods
Operational semantics, Type-based information flow security, Hoare logic, Verification conditions, and Separation logic in Agda for the IMP language
pytableaux
multi-logic proof generator
agda-html-to-md
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
the-asm-workbench
The ASM Workbench