Pinned Repositories
.dotfiles
My unix/linux configuration files.
graph
A REPL for manipulating graphs with associated data. Testing for implementation of a graph based filesystem.
hanabi
An implementation of hanabi, with a goal of writing some basic strategies to play.
haskell-through-diagrams-book
The source for the book haskell-through-diagrams
notes
Cornell University Notes
resume
My resume
state-machines
A minimal Haskell library that implements FSMs of various different types along with conversion of regexes to NFAs.
wiki-language-server
An LSP implementation for wiki style markdown notes.
mafiaclub.github.io
Website for Cornell Mafia
lehmacdj's Repositories
lehmacdj/graph
A REPL for manipulating graphs with associated data. Testing for implementation of a graph based filesystem.
lehmacdj/haskell-experiments
Some random experiments while I am learning/playing with haskell
lehmacdj/polysemy-readline
Haskeline compatibility for polysemy.
lehmacdj/whisrt
lehmacdj/.dotfiles
My unix/linux configuration files.
lehmacdj/resume
My resume
lehmacdj/wiki-language-server
An LSP implementation for wiki style markdown notes.
lehmacdj/Bing.app
A small wrapper app for launching Microsoft Edge Dev using the name Bing.app
lehmacdj/choiche
A implementation of an app similar to Chwazi
lehmacdj/comby-bug-spaces-in-filename-broken
lehmacdj/custom-swiftlint
Custom SwiftLint rules that use the AST
lehmacdj/EveryDream
Advanced fine tuning tools for vision models
lehmacdj/github-testing
A repository for testing Github specific stuff (e.g. what kind of markdown is supported in READMEs)
lehmacdj/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
lehmacdj/language
My programming language playground project. Not intended to be particularly usable
lehmacdj/light-rays.github.io
lehmacdj/lottie-ios
An iOS library to natively render After Effects vector animations
lehmacdj/multiplayer-clock
lehmacdj/quad-ci
Implementation of the app from the Simple Haskell Handbook, completed for a series of learning sessions/conversations at SimSpace.
lehmacdj/random
Random number library
lehmacdj/readline-in-other-words
Readline and associated effects for in-other-words
lehmacdj/swiftui-async-button
AsyncButton is the simple way to run concurrent code in your views.
lehmacdj/tab-closer
lehmacdj/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
lehmacdj/TouchScreenProblemDetector
Lets you draw points on your screen to see if there are areas of your screen that have trouble detecting touches and where
lehmacdj/UIDocument-MemoryRetentionTest
lehmacdj/use-persisted-state
A custom React Hook that provides a multi-instance, multi-tab/browser shared and persistent state.
lehmacdj/vim-github-link
generate github link from selected lines in vim
lehmacdj/vim-vimlparser
Vim script parser
lehmacdj/wordle
Wordle implementation to try to learn some FRP