Skip to content
View laelath's full-sized avatar
19 followers · 10 following
  • University of Maryland

Achievements

Achievement: StarstruckAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: Mars 2020 ContributorAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback
Block or Report

Block or report laelath

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

  1. miniterm miniterm Public

    Forked from nhoad/tinyterm

    Minimalist terminal emulator

    C 19 2

  2. ocaml-urn ocaml-urn Public

    An OCaml implementation of the urn data structure for fast pure functional random sampling

    OCaml 10

  3. kakoune-show-matching-insert kakoune-show-matching-insert Public

    A highlighter for people who miss Vim's highlighting of matching characters as you insert them.

    8

  4. hack-match-bot hack-match-bot Public

    A bot that plays the HACK*MATCH minigame in EXAPUNKS.

    Rust 7 1

  5. TypingTest TypingTest Public

    Typing test desktop program with a large amount of customization

    C++ 4 1

  6. well-typed-term-generator well-typed-term-generator Public

    A OCaml generator for well-typed terms (that use their arguments).

    OCaml 3 2