philomates/cps-from-stlc-to-sysf
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Python3 lexing and parsing with derivatives
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Modeling a CPS translation from STLC to System F in Coq using Locally Nameless
Abstract Interpreter for Dalvik bytecode
3 Primality Proving Implementations: ECPP, AKS, and a hybrid of the two