Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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-printf

Implementation of sprintf for Coq

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/coq-smt-check

Invoke SMT solvers from Coq to check obligations

coq smt-solver tactics

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/coq-plugin-template

Template for Coq plugins

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

coq coq-plugin ocaml

Last synced: 25 Nov 2024

https://github.com/gmalecha/coq-simulink

Simulink-like formalism in Coq

Last synced: 25 Nov 2024

https://github.com/gmalecha/semantic-query

Semantic query optimization

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/mfix

Monadic Fixpoint operations

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-gc

Coq plugin to force garbage collection

Last synced: 25 Nov 2024

https://github.com/gmalecha/coq-interact

programmatic interaction with coq

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/gmalecha.github.io

website

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

https://github.com/gmalecha/refl-symexec

Reflective symbolic execution

Last synced: 25 Nov 2024