Skip to content
View nguermond's full-sized avatar
🐡
🐡
14 followers · 21 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark
Block or Report

Block or report nguermond

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

Pinned Loading

  1. teyjus teyjus Public

    Forked from cjohnson19/teyjus

    An efficient implementation of the higher-order logic programming language Lambda Prolog

    C

  2. doculib doculib Public

    A GUI for tagging and managing document metadata for books, textbooks, or articles.

    OCaml 14 1

  3. normalization-by-evaluation normalization-by-evaluation Public

    Various implementations of normalization by evaluation.

    OCaml 7 1

  4. metadb metadb Public

    Metadb is a library to locally store and manipulate a JSON database of file metadata

    OCaml 3 1

  5. local-set-theory local-set-theory Public

    A tiny proof assistant for local set theory, in λ-Prolog.

    Prolog 2

  6. monads-and-algebraic-effects monads-and-algebraic-effects Public

    Examples of how monads and algebras relate to algebraic effect handlers

    OCaml 1