Pinned Repositories
advent-of-code-2018
Haskell solutions for Advent of Code
chars74k
Optical character recognition with a CNN
doldrums
A small, purely functional programming language. For learning.
forest
Trees, and data structures based on trees
hsautogui
Haskell bindings for PyAutoGUI
lisp-interpreter
A subset of Scheme implemented in Haskell
particles
Simple particle sim displaying emergent behavior
raspi-lights
A custom programming language just to make lights turn pretty colors
tuple-prelude
A Template Haskell Adventure
vanilla-policy-gradient
VPG reinforcement learning algorithm in PyTorch
mitchellvitez's Repositories
mitchellvitez/chars74k
Optical character recognition with a CNN
mitchellvitez/vanilla-policy-gradient
VPG reinforcement learning algorithm in PyTorch
mitchellvitez/doldrums
A small, purely functional programming language. For learning.
mitchellvitez/hsautogui
Haskell bindings for PyAutoGUI
mitchellvitez/particles
Simple particle sim displaying emergent behavior
mitchellvitez/pianoreps
Super-simple API for tracking piano exercises, using Servant
mitchellvitez/py2hs
Hacky Python-to-Haskell transpiler for a tiny subset of Python
mitchellvitez/robin-hood-hashmap
Robin Hood HashMap implementation in Haskell
mitchellvitez/rrule
Recurrence rule parser and formatter
mitchellvitez/tuple-prelude
A Template Haskell Adventure
mitchellvitez/advent-of-code-2021
mitchellvitez/android-gym
Android workout tracking app
mitchellvitez/arduino-lights
Run RGB LED light shows on Arduino using Haskell data structures
mitchellvitez/building-lenses
A simple implementation of Lens building up from Getter and Setter
mitchellvitez/config
For various dotfiles, installation scripts, and other setup
mitchellvitez/downforacross.com
Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
mitchellvitez/esqueleto
New home of Esqueleto, please file issues so we can get things caught up!
mitchellvitez/haskell-cpython
mitchellvitez/haskellweekly
Publishes curated news about the Haskell programming language.
mitchellvitez/little-logician
A tiny proof system for classical propositional logic.
mitchellvitez/lstm-xor
Learning a nonlinear function with LSTMs
mitchellvitez/monad-challenges-1
A set of challenges for jump starting your understanding of monads.
mitchellvitez/persistent
Persistence interface for Haskell allowing multiple storage methods.
mitchellvitez/piano_fundamentals
This is a Sphinx adaptation of Chaun C. Chang's book, "Fundamentals of Piano Practice."
mitchellvitez/purescript-quickstart
For spinning up a tiny UI super quickly
mitchellvitez/pytorch-cartpole
Learning PyTorch, these are the results of the CartPole tutorial
mitchellvitez/q-learning
Basic Q learning on a Taxi environment
mitchellvitez/tensorflow
An Open Source Machine Learning Framework for Everyone
mitchellvitez/theorem_proving_in_lean
Theorem proving in Lean
mitchellvitez/type-systems
For type system experiments