Skip to content
View been-jamming's full-sized avatar
💾
💾
55 followers · 26 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

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 36

  2. rubiks_cube rubiks_cube Public

    rubik's cube that runs in your terminal!

    C 103 8

  3. MinimalCC MinimalCC Public

    Minimal C subset compiler

    C 37 3

  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