Skip to content
View AgentElement's full-sized avatar
21 followers · 27 following
  • Biodesign Institute @ Arizona State University
  • Tempe, Arizona

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Block or report AgentElement

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
AgentElement/README.md
  • Building tesla coils, mechanical keyboards, high-performance graph libraries.
  • Doing funny things with functional programming languages.
  • Writing about lambda calculus and graph theory.
  • You can follow me here, on my personal website (note: this is https only! http://agentelement.net will not work), or on Mastodon.
  • If you are a math student or math educator, I think you should read this essay by Paul Lockhart. It's a fun read, and it generally reflects my opinions on math education.

pgp pubkey

GitHub Streak

Pinned Loading

  1. dotfiles dotfiles Public

    Config files for my machines

    Shell 1

  2. lambda-btree lambda-btree Public

    A collection of tools to generate and study random lambda calculus expressions.

    Python 1 1

  3. BioMan BioMan Public

    An implementation of Liu and Pedrielli's Biological Manufacturing (BioMan) model

    Python 2

  4. functional-supercollider functional-supercollider Public

    A high-performance lambda calculus synthesis engine, built upon Walter Fontana's Algorithmic Chemistry (AlChemy)

    Rust 1 2

  5. heartstopper heartstopper Public

    A reproducible, minimal, open-source keyboard

    OpenSCAD 1

  6. tree-sitter-lambda-calculus tree-sitter-lambda-calculus Public

    Lambda Calculus bindings for tree-sitter

    JavaScript