Skip to content
View ewenmaclean's full-sized avatar

Organizations

@imandra-ai

Block or report ewenmaclean

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. 2dCA 2dCA Public

    localised rule propagation for Cellular Automata

    PostScript

  2. cicm2015 cicm2015 Public

    Paper on Creativity in Mathematics for CICM 2015

  3. ICCC2015 ICCC2015 Public

    Paper on mathematics, creativity and blending for ICCC2015

    TeX 2

  4. ICCC2015_hetsfiles ICCC2015_hetsfiles Public

    ICCC2015 dol files

  5. amalgams_maths_dol_files amalgams_maths_dol_files Public

    Some experimental dol files for amalgams to try

  6. coinvent_demo coinvent_demo Public

    Initial version of an integrated coinvent system

    OCaml