Skip to content
@gwaithimirdain

Gwaith-i-Mírdain

Popular repositories Loading

  1. narya narya Public

    A proof assistant for higher-dimensional type theory

    OCaml 303 28

  2. anor anor Public

    Experimental library for Narya

    Common Lisp 13

  3. olorin olorin Public

    A graphical proof game for predicate logic

    JavaScript 2 1

  4. fibrancy fibrancy Public

    Common Lisp 1

  5. gwaithimirdain.github.io gwaithimirdain.github.io Public

    Organization github pages site

    HTML

Repositories

Showing 5 of 5 repositories
  • olorin Public

    A graphical proof game for predicate logic

    gwaithimirdain/olorin's past year of commit activity
    JavaScript 2 GPL-3.0 1 0 0 Updated Sep 23, 2026
  • narya Public

    A proof assistant for higher-dimensional type theory

    gwaithimirdain/narya's past year of commit activity
    OCaml 303 GPL-3.0 28 30 (2 issues need help) 3 Updated Sep 22, 2026
  • fibrancy Public
    gwaithimirdain/fibrancy's past year of commit activity
    Common Lisp 1 0 0 0 Updated Aug 19, 2026
  • gwaithimirdain.github.io Public

    Organization github pages site

    gwaithimirdain/gwaithimirdain.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Aug 18, 2026
  • anor Public

    Experimental library for Narya

    gwaithimirdain/anor's past year of commit activity
    Common Lisp 13 MIT 0 2 0 Updated Aug 6, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…