Skip to content
Spreading lambda calculus propaganda
Spreading lambda calculus propaganda




Block or Report

Block or report Mateiadrielrafael

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.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Hi 👋, I'm Adriel

Functional programming enthusiast

  • 💬 Ask me anything about PureScript and TypeScript

  • 💻 My favorite Linux distribution is NixOS

  • 💌 I spread lambda calculus propaganda


  1. Visual functional programming language

    PureScript 13 1

  2. Lambda calculus go brrrr

    PureScript 21

  3. A logic gate simulator written in typescript

    TypeScript 17 3

  4. Dependently typed programming language written in purescript


  5. Prolog go brrrrr


  6. Small programming language made for the code community code jam!

    TypeScript 2 1

1,935 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri

Contribution activity

August 2021

Created 48 commits in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.