Skip to content




@psas @oresat
Block or Report

Block or report jameysharp

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

Popular repositories

  1. corrode Public

    C to Rust translator

    Haskell 2.1k 110

  2. autobake Public

    Create build recipes through automated trial and error

    Python 50 2

  3. Rust port of "A Play on Regular Expressions"

    Rust 31

  4. Library and command-line tool for inferring dependencies between static libraries.

    Rust 21

  5. WordPress plugin for full-history RSS feeds conforming to RFC5005

    PHP 8

  6. lotos Public

    Tools for the LOTOS process calculus

    Haskell 7

199 contributions in the last year

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

Contribution activity

September 2021

Created 1 commit in 1 repository

Created a pull request in Z3Prover/z3 that received 11 comments

CNF conversion refactoring

While digging into cut-set enumeration, I wanted to experiment with how Z3 converts goals to CNF. But I got confused when I found that the tseitin-cnf

+506 −439 11 comments

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