Skip to content
View Ant13731's full-sized avatar
9 followers · 20 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx3

Block or report Ant13731

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
ant13731/README.md

Hi there 👋

I am a software engineer passionate about beautiful code and amazing developer experiences. Currently, I'm exploring programming language design + compilation, mobile development, and physics simulations.

Current Projects

  • conjure: Control your computer as if it were a hologram! A remote control for your computer that uses your hands and gestures as a remote.
  • simile: A high level formal-specification-based programming language with rewrite-based optimizations founded in set theory, targeting LLVM.

Past Projects

Pinned Loading

  1. simile simile Public

    High level optimizations for a high level formal methods-based programming language

    Python

  2. conjure conjure Public

    Controlling computers conveniently - a virtual trackpad for your computer, from your phone

    Swift

  3. nodify-dev nodify-dev Public

    Code visualization, made simple

    Jupyter Notebook

  4. 2D-Charged-Particle-Simulation 2D-Charged-Particle-Simulation Public

    An ideal gas particle simulation project using PGPlot, ODEs, written in C++.

    C++

  5. Chess-Prediction-Model Chess-Prediction-Model Public

    A CNN-RNN machine learning model to predict the outcome of chess matches based on the first 20 moves, with 70% accuracy.

    Jupyter Notebook

  6. Solar-Panel-Logger Solar-Panel-Logger Public

    A small project to detect the voltage of a solar panel through an arduino and pass information to a server via socketio events

    Python