Skip to content
View JHCuc3m's full-sized avatar
3 followers · 4 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Block or report JHCuc3m

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 Loading

  1. LangDiary LangDiary Public

    Forked from CS2340-Project/LangDiary

    HTML

  2. LocationSearch LocationSearch Public

    Forked from nerdgamer2662/LocationSearch

    Location search project for CS 3300

    JavaScript

  3. RecipeBuilder RecipeBuilder Public

    Forked from CS-3300-P8/RecipeBuilder

    JavaScript

  4. JohnLyu2/z3alpha JohnLyu2/z3alpha Public

    Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.

    Python 23 5

  5. mini-curiosity mini-curiosity Public

    Forked from ayushbaweja/mini-curiosity

    A minimal implementation of ICM (Pathak et al., 2017)

    Jupyter Notebook

  6. pikorua/StrategyPrediction pikorua/StrategyPrediction Public

    Use a Transformer to predict a strategy on a new SMT2 instance

    Python 1