Skip to content
View htoyll8's full-sized avatar
2 followers · 2 following
Block or Report

Block or report htoyll8

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

Pinned

  1. dpll-sat-solver dpll-sat-solver Public

    An implementation of the Davis-Putnam-Logemann-Loveland (DPLL) algorithm for solving SAT (Boolean satisfiability) problems. This project includes Boolean Constraint Propagation (BCP), conflict anal…

    Python

  2. code-generation-transformer code-generation-transformer Public

    A transformer-based model that generates Python code.

    Python

  3. bottom-up-enumerative-synthesis bottom-up-enumerative-synthesis Public

    Scala 1

  4. arithmetic-interpreter arithmetic-interpreter Public

    A Scala-based interpreter for simple arithmetic expressions, incorporating desugaring and substitution.

    Scala 1

  5. deductive-program-synthesis deductive-program-synthesis Public

    Deductive Program Synthesis algorithm that uses tree rewriting and pattern-directed invocation.

    Python

  6. programming-by-demonstration programming-by-demonstration Public

    A PBD Bookmarklet.

    JavaScript