jamesj64

jamesj64's Stars

• jamesj64/lean-modal-logic

  Language:Lean1

• maxd13/logic-soundness

  The soundness proof for the presentation at WBL

  Language:Lean5

• danielxu04/DerivaPrice

  A theoretical derivative pricing calculator using pricing models such as Black-Scholes, Binomial, and Monte Carlo simulations, implemented with Python and SciPy.

  Language:Jupyter Notebook1

• SimplifyJobs/Summer2025-Internships

  Collection of Summer 2025 tech internships!

  35k2.8k

• Verasl/BoatAttack

  Demo Project using the Universal RP from Unity3D

  Language:C#347147

• danielxu04/danielxu

  My personal website, programmed with Next.js, JavaScript, TypeScript, and Tailwind CSS.

  Language:JavaScript6

• danielxu04/credit-card-approvals

  A logistic regression model that predicts whether or not a credit card application will get approved using SciKit.

  Language:Jupyter Notebook21

• danielxu04/stock-sentiment

  Data Manipulation project with Python to scrape Facebook and Tesla news headlines, in conjunction with sentiment analysis using NLTK and VADER to generate investment insight.

  Language:HTML2

• JamesTreap/JamesTreap.github.io

  v2 of my personal site - now hosted on Github!

  Language:HTML3

• JamesTreap/Freeing-The-Forest-2D-RPG

  Freeing the Forest - a 2D RPG Game

  Language:Java3

• danielxu04/performance-indicators

  A collection of key performance indicators (KPIs) for backtesting and performance measurement.

  Language:Jupyter Notebook1

• jamesj64/Automated-Theorem-Prover

  A functionally-programmed theorem prover written in F#

  Language:F#3

• catherinek07/FridgeTracker

  Language:Python1