Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by gmalecha
A curated list of projects in awesome lists by gmalecha .
https://github.com/gmalecha/mirror-core
A framework for extensible, reflective decision procedures.
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-interaction-trees
Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-ltac-iter
Access hint databases from tactics.
Last synced: 25 Nov 2024
https://github.com/gmalecha/skip-list
Pure skip lists in Haskell
data-structures functional-programming haskell-library skiplist
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-smt-check
Invoke SMT solvers from Coq to check obligations
Last synced: 25 Nov 2024
https://github.com/gmalecha/mirror-shard
Reflective verification procedures for separation logic programs in Coq
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-extensible-records
Implementation of extensible records in Coq
Last synced: 25 Nov 2024
https://github.com/gmalecha/bedrock-mirror-shard
Port of Bedrock to use MirrorShard library for computational reflection
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-temporal
An implementation of temporal logic in Coq using Charge!
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-markov
Exploring probabilistic programming in Coq
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-plugin-utils
Useful utility functions for writing Coq plugins
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-k
Some formalization of the K framework in Coq
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-mod-reduce
Modular reduction specifications for cbv
Last synced: 25 Nov 2024
https://github.com/gmalecha/categorical-unification
Exploration of unification on categorical terms.
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-seal
Implementation of sealing in Coq with macros for generation
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-refinement
Relational refinements in Coq based on the work of Maxime Denes.
Last synced: 25 Nov 2024
https://github.com/gmalecha/ppx_rewriter
An OCaml optimizer using ppx extensions
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-localize
Coq plugin for making terms self-contained
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-dep-replace
Coq plugin to perform dependent replacement of terms
Last synced: 25 Nov 2024
https://github.com/gmalecha/coq-checkless
Coq plugin for refine which does not perform type checking.
Last synced: 25 Nov 2024
https://github.com/gmalecha/loop-to-sat
Solve instances of the loop game by converting them to SAT formulas.
Last synced: 25 Nov 2024
https://github.com/gmalecha/sparse-memo-trie
Sparse memo tries for more efficient memoization
haskell haskell-library memoization
Last synced: 25 Nov 2024