Skip to content
View scott-fleischman's full-sized avatar

Organizations

@ancientlanguage @OPLSS

Block or report scott-fleischman

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. agda-from-nothing agda-from-nothing Public

    A workshop on learning Agda with minimal prerequisites.

    Agda 84 6

  2. greek-grammar greek-grammar Public

    Modeling Ancient Greek Grammar

    Agda 50 7

  3. agda-from-nothing-2017 agda-from-nothing-2017 Public

    Agda from Nothing: Order in the Types

    Agda 13

  4. agda-travis agda-travis Public

    Example repo for building Agda files with Travis CI

    Agda 7 1

  5. sblgnt-osis sblgnt-osis Public

    SBL Greek New Testament in OSIS XML format.

    4 2

  6. ucd ucd Public

    Unicode Character Database version history with normalized filenames

    HTML 4