Skip to content
View Topology's full-sized avatar
3 followers · 1 following
  • Texas Tech University
  • Lubbock, Texas

Block or report Topology

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. Idiom Idiom Public

    Idiom is an ecosystem for facilitating computer language evolution.

    TeX 1

  2. CompSAT CompSAT Public

    Parallel SAT through Composition Of Solutions in Compressed Disjunctive Normal Form.

    1

  3. SimpleGradingScriptInC SimpleGradingScriptInC Public

    grading script written in c to grade other c programs. Very primitive setup, testing done through IO redirection.

    C

  4. ALM-Compiler ALM-Compiler Public

    A Java implementation of the ALM language that compiles to the SPARC variant of Answer Set Programming (ASP).

    Java 1