Skip to content
View lambda-11235's full-sized avatar
10 followers · 3 following

Achievements

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

Achievements

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

Block or report lambda-11235

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

  1. FarRP FarRP Public

    An arrowized FRP library for Idris with static safety guarantees.

    Idris 16 1

  2. ttyped ttyped Public

    A simple dependently typed language based on the Calculus of Constructions.

    Haskell 13 1

  3. hlisp hlisp Public

    A minimal, pure, and lazy symbolic lisp.

    Haskell

  4. markovs_passwords markovs_passwords Public

    Random pronounceable passwords using Markov chains.

    Python

  5. debtTools debtTools Public

    Tools to help manage and analyze debt, specifically for compound interest.

    Python

  6. CGDS CGDS Public

    C generic data structures

    C