Skip to content
View dferri's full-sized avatar

Block or report dferri

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. z3-skyscrapers z3-skyscrapers Public

    Generate a skyscrapers puzzle game solver for z3

    Python 4

  2. FlowFreeSolver FlowFreeSolver Public

    Solve FlowFree puzzles from a screenshot

    Python 2

  3. ampl-mode ampl-mode Public

    Forked from dpo/ampl-mode

    Syntax highlighting mode for the AMPL modeling language

    Emacs Lisp

  4. CataSat CataSat Public

    A semidecision procedure for catamorphisms

    Python

  5. DefinitelyTyped DefinitelyTyped Public

    Forked from DefinitelyTyped/DefinitelyTyped

    The repository for high quality TypeScript type definitions.

    TypeScript

  6. open-ear open-ear Public

    Forked from ShacharHarshuv/open-ear

    TypeScript