Skip to content




  • Pro
Block or Report

Block or report mpardalos

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


  1. Forked from ymherklotz/vericert

    A formally verified high-level synthesis tool based on CompCert and written in Coq.


  2. Kima Public

    A programming language with algebraic effects (WIP)

    Haskell 5

  3. A software simulator for the MIPS-1 instruction set


187 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2022

Created 11 commits in 1 repository
Created 1 repository

Created a pull request in hlissner/doom-emacs that received 1 comment

docs(coq): Expand README

Add the following to the :lang coq README Hack: Abbrevs are replaced with snippets Installation: To enable completion you also need :completion co…

+10 −12 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.