Skip to content
View bmmoore's full-sized avatar

Organizations

@kframework

Block or report bmmoore

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Popular repositories Loading

  1. logic logic Public

    Definitions and algorithms for First-Order Logic, working towards saturation-based inductive provers

    Haskell 2 1

  2. kcoq kcoq Public

    Tool used by K framework Coq backend

    Haskell 1 1

  3. ray ray Public

    crude ray tracer

    Haskell

  4. git-svn-scripts git-svn-scripts Public

    Some scripts for handling tags and ignores after a git-svn migration

    Haskell

  5. sglr-server sglr-server Public

    Modifying the k-framework sglr library to run as an external server

    C

  6. data-reify data-reify Public

    Forked from ku-fpg/data-reify

    Reification of data structures using observable sharing

    Haskell