lehmacdj Goto Github PK

notes

Cornell University Notes

nvim-cmp

A completion plugin for neovim coded in Lua.

ocaml-ed

A implementation of ed written in ocaml using a functional style.

onenight

A server application to run a game of One Night Ultimate Werewolf.

onenightclient

A GUI client for playing One Night Ultimate Werewolf

onenightsimpleclient

A simple client for OneNight

pandoc-types

Fork of pandoc-types that doesn't use Template Haskell for use with iOS/cross compiler platforms that don't have support for it.

poker_ai_2024

Final project for CS 2024

polysemy-readline

Haskeline compatibility for polysemy.

polysemy-zoo

:monkey::panda_face: Experimental, user-contributed effects and interpreters for polysemy

protein-loop-benchmarks

A series of benchmarks collected from various papers for testing protein loop modelers

quad-ci

Implementation of the app from the Simple Haskell Handbook, completed for a series of learning sessions/conversations at SimSpace.

random

Random number library

readline-in-other-words

Readline and associated effects for in-other-words

real_math

resume

My resume

rss-reader

rust-constructive-reals

A small implementation of constructive real numbers in Rust

rust-game-of-life

rust-sorting

Implementation of a few sorting algorithms in rust

rxswift

Reactive Programming in Swift

semver

Semantic Versioning Specification

semver-1

An implementation of the Semantic Versioning specification for Haskell

setup

[WIP] Set up your GitHub Actions workflow with a specific version of Haskell (GHC and Cabal)

simpleclient

A simple text based client for many different purposes.

squeal

Squeal, a deep embedding of SQL in Haskell

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

state-machines

A minimal Haskell library that implements FSMs of various different types along with conversion of regexes to NFAs.

swiftui-async-button

AsyncButton is the simple way to run concurrent code in your views.

system-f

A tiny implementation of System F