Pinned Loading

1. set-typed-lambda-calculus set-typed-lambda-calculus Public

   A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

   OCaml

2. Binary-Tree Binary-Tree Public

   Add and search for nodes in a binary tree with an easy-to-use, web-based visualization

   JavaScript 23 7

3. ssr-example ssr-example Public

   A proof of concept isomorphic SSR application; Next.js but better

   TypeScript

4. gearbox-js gearbox-js Public

   A modular framework for simulating reinforcement learning environments (including games), in order to support the development of reinforcement learning agents

   JavaScript 2

5. Tic-Tac-Toe-Learning Tic-Tac-Toe-Learning Public

   Play Tic-Tac-Toe against a reinforcement learning agent that just learned to play through temporal difference learning

   Python

6. data-science-final-project data-science-final-project Public

   My Data Science (CSCI 303) Final Project, dimensionality reduction on human faces

   Jupyter Notebook