gmalecha/coq-extensible-records
Implementation of extensible records in Coq
Developer Profile
gmalecha
Discovered public repositories for gmalecha in the GitHub catalog.
gmalecha/semantic-query
Semantic query optimization
gmalecha/coq-ltac-iter
Access hint databases from tactics.
gmalecha/gmalecha.github.io
website
gmalecha/coq-universes
Public repository.
gmalecha/coq-interact
programmatic interaction with coq
gmalecha/Timing-plugin
A Coq plugin that allows a user to start and stop timers.
gmalecha/template-coq
Reflection library for Coq
gmalecha/refl-symexec
Reflective symbolic execution
gmalecha/coq-refinement
Relational refinements in Coq based on the work of Maxime Denes.
gmalecha/mfix
Monadic Fixpoint operations
gmalecha/coq-plugin-utils
Useful utility functions for writing Coq plugins
gmalecha/opam-coq-repo
Public repository.
gmalecha/Charge
Higher-order separation logic framework in Coq
gmalecha/coq-dep-replace
Coq plugin to perform dependent replacement of terms
gmalecha/coq-gc
Coq plugin to force garbage collection
gmalecha/coq-checkless
Coq plugin for refine which does not perform type checking.
gmalecha/bedrock-mirror-shard
Port of Bedrock to use MirrorShard library for computational reflection
gmalecha/mirror-core
A framework for extensible, reflective decision procedures.
gmalecha/coq-localize
Coq plugin for making terms self-contained
gmalecha/mirror-shard
Reflective verification procedures for separation logic programs in Coq