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

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report edbutler

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

  • game-server Public

    stuff for running multiplayer game servers

    Dockerfile Updated Sep 10, 2024

  • megaquarium-tools Public

    Rust Updated Nov 24, 2023

  • dungeons-and-diagrams-tools Public

    A solver for Dungeons & Diagrams

    Python 2 MIT License Updated Aug 10, 2022

  • blockly Public

    Forked from google/blockly

    Fork of Blockly, for use in an ongoing research project.

    JavaScript 1 Apache License 2.0 Updated Jan 25, 2021

  • algebra-rule-synthesis Public

    Source code for "A Framework for Computer-Aided Design of Educational Domain Models" from VMCAI 2018

    Updated Nov 14, 2018

  • nonograms-rule-synthesis Public

    Source code for publication "Synthesizing Interpretable Strategies for Solving Puzzle Games" from FDG 2017.

    Racket 6 GNU Affero General Public License v3.0 Updated Jul 27, 2017

  • rosette-puzzle-generators Public

    Examples of using Rosette to solve and generate puzzles such as Sudoku

    Racket MIT License Updated Feb 22, 2017

  • papika-telemetry Public

    Lightweight event logging/telemetry system for applications such as research experiements and usability testing.

    C# 2 MIT License Updated Oct 29, 2016

  • infinite-refraction Public

    Open source implementation of the generated version of the game Refraction.

    JavaScript 3 GNU General Public License v3.0 Updated Jul 8, 2015

  • tiny-fsharp-json Public

    Really small json parser/formatter for F#

    F# 2 MIT License Updated Jul 8, 2015

  • last-hour-flower Public

    Source code for the VN game "Last Hour for a Flower"

    JavaScript GNU General Public License v3.0 Updated May 5, 2015

  • uist2013progression Public

    Code for the research project "A Mixed-Initiative Tool for Designing Level Progressions in Games."

    JavaScript 1 MIT License Updated Feb 25, 2015

  • rosette Public

    Forked from emina/rosette

    The Rosette solver-aided host language, sample solver-aided DSLs, and demos

    Racket Other Updated Dec 19, 2014