Skip to content
View been-jamming's full-sized avatar
💾
💾
50 followers · 25 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Sharkx2

Organizations

@ASULUG

Block or report been-jamming

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
been-jamming/README.md

Hi, I'm Ben! I do theoretical math at ASU, and when time permits, I also do some programming. Here is a list of my favorite projects I've done:

  1. CORE: my proof assistant
  2. Topographs: an animated website for interacting with topographs of integral quadratic forms
  3. MinimalCC: a dead simple, fast C subset compiler written in 3000 lines of C
  4. QR-util: a command line utility for generating QR code bitmaps
  5. rubiks_cube: a terminal application which lets you solve a 3d rubik's cube

Use this link to contact me.

Pinned Loading

  1. CORE CORE Public

    A constructive proof assistant for second order logic.

    C 33

  2. rubiks_cube rubiks_cube Public

    rubik's cube that runs in your terminal!

    C 99 7

  3. MinimalCC MinimalCC Public

    Minimal C subset compiler

    C 35 2

  4. QR-util QR-util Public

    A command-line utility for generating QR codes

    C 10

  5. Visterm Visterm Public

    A terminal application which adds an audio visualizer to the terminal!

    C 27 1

  6. TiConnect4 TiConnect4 Public

    Connect 4 with AI on the Ti89

    C 3