Skip to content
View mmcgr's full-sized avatar

Organizations

@souffle-lang @binrats

Block or report mmcgr

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. souffle.vim souffle.vim Public

    Forked from souffle-lang/souffle.vim

    Syntax highlighting for souffle files

    Vim Script 1

  2. souffle souffle Public

    Forked from souffle-lang/souffle

    Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of line…

    C++ 1

  3. stepmania stepmania Public

    Forked from stepmania/stepmania

    Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.

    C++

  4. homebrew-souffle homebrew-souffle Public

    Forked from souffle-lang/homebrew-souffle

    Brew Scripts

    Ruby

  5. souffle-web souffle-web Public

    Forked from jbre4/souffle-web

    A web interface for Soufflé

    JavaScript

  6. ddisasm ddisasm Public

    Forked from binrats/ddisasm

    A fast and accurate disassembler

    C++