Pinned Repositories
drupal7-commerce_google_wallet
Commerce Google Wallet Payment Module
harmony
A shared, Spotify based jukebox that implements fair queuing
haskell-gltf-loader
High level GlTF Haskell loader
Haskelloids
Haskelloids: A reproduction of the Atari 1979 classic "Asteroids"
libspotify
Haskell bindings to the Spotify API
rock-paper-scissors-cyclejs
A Cycle.js implementation of the game "rock-paper-scissors".
sudoku
Naive sudoku solver
wordle-cyclejs
Wordle clone in ~500 lines of TypeScript + Cycle.js
wordle-reflex-frp
Wordle in ~300 lines of Haskell + reflex-frp
mrehayden1's Repositories
mrehayden1/rock-paper-scissors-cyclejs
A Cycle.js implementation of the game "rock-paper-scissors".
mrehayden1/wordle-reflex-frp
Wordle in ~300 lines of Haskell + reflex-frp
mrehayden1/agora-test
mrehayden1/basic-hs-android-docker
A basic Docker file for building android haskell projects, includes a helloWorld sample
mrehayden1/haskell-gltf-loader
High level GlTF Haskell loader
mrehayden1/Haskelloids
Haskelloids: A reproduction of the Atari 1979 classic "Asteroids"
mrehayden1/sudoku
Naive sudoku solver
mrehayden1/wordle-cyclejs
Wordle clone in ~500 lines of TypeScript + Cycle.js
mrehayden1/AdventOfCode2024
My Advent of Code 2024 solutions
mrehayden1/beam
A type-safe, non-TH Haskell SQL library and ORM
mrehayden1/beam-mysql
Beam MySQL compatibility layer
mrehayden1/chess
mrehayden1/ContT
Grokking ContT
mrehayden1/cycle-image-preload
Cycle.js image preload driver
mrehayden1/cycle-matterjs
Cycle.js driver for Matter.js
mrehayden1/digital-risks
mrehayden1/dth-vectors
Dependently Typed Fixed Length Vectors
mrehayden1/GPipe-Core
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
mrehayden1/GPipe-GLFW
mrehayden1/hgeometry
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guaran
mrehayden1/level-one
mrehayden1/nation
mrehayden1/neovim-gnome-terminal-wrapper
Wrapper for running neovim in a separate instance of gnome-terminal
mrehayden1/shaders
An eDSL for GPU progamming based on the Vulkan API inspired by GPipe.
mrehayden1/shaders-old
An eDSL for GPU progamming based on the Vulkan API.
mrehayden1/smart-pension
mrehayden1/timeout
mrehayden1/toolchain-wrapper
Scripts for building GHC and Haskell programs for Android and iOS
mrehayden1/vector-circular
cycling vectors with O(1) rotation and O(1), total access
mrehayden1/xstream
An extremely intuitive, small, and fast functional reactive stream library for JavaScript