sagebinder Goto Github PK

ahkscripts

♡

denise-ml

eulersolutions

These are my solutions for problems on projecteuler.net

failurestextgenerator

Keras LSTM to to generate text. Data preprocessing assumes the CSV format outputted by Tyrrrz/DiscordChatExporter. Includes interactive Discord bot, made by MancePants.

fall2020honorsproject

This repository is part of my Fall 2020 honors project for Paradise Valley Community College. It uses ANTLR to parse logic proofs.

fm-proj3

gremgrem

gRemgReM gREmGREm gREmgrEM gREmGREM gREmgRem gREmgReM gREMgrEM grEmgrem gRemgreM gReMgrEM gRemgrEM gRemGreM gRemGreM grEmgrem gREmGreM gREmGREm gREMgRem gREmGREM grEmgrem gREmgREM gREMgrEm gREmgReM gREmGReM gREmgREM gREMgrEm gREmgReM gREmGReM

hearts

The card game Hearts implemented in Java with LibGDX. I'm trying make my code from ShengJi more reusable so we'll see how that goes ¯\_(ツ)_/¯

isabelle-practice

ktanemodulessolver

Was supposed to solve KTANE modules, but I got lazy so it's only UI right now with no functionality lol

mat276-final-project

The Python code for our Differential Equations final project.

mat276-malaria-matlab

mat412-fun-sagemath

Fun stuff for MAT412. HTML files are available in the folders, and should be viewable without installing SageMath. Note, SageMath does have a built-in function to do parallel transport; the purpose of re-implementing it is more of an exercise, both in learning SageMath and in understanding parallel transport.

pixel-tanks

For my CSC230 course at Paradise Valley Community College

rborrowbot

sagebinder.github.io

sagemath-curvature-flows

2022 ASU summer project with Professor Kawski on visualizing Ricci flow for surfaces of revolution with genus 0. The mathematics used in the simulation is from the following paper by Rubinstein and Sinclair: https://arxiv.org/abs/math/0406189

shengji

Java card game which I'll probably never finish (EDIT 2018-11-28, wow it's actually semi-working)

shengjiimproved

Like my old ShengJi, except this time it's less bad

spoopyviennabot

Discord bot for a private server. Also, this is my first C# project, yippee! C# is pretty cool so far.

truthtablegenerator

Takes a logical expression (for example, "(A & B) | ~C") and produces a truth table.

wallpapers-for-wallpaperengine

My wallpapers for wallpaper engine

werewolf-notes

word-counter-plus

Chrome Extension that lets you views stats on selected text