riib11 Goto Github PK

language-miniml

A grammar specification for MiniML.

lecture-notes-secure-distributed-computation

lh-tactics

lh-tactics-test

life

Messing around with Conway's Game of Life, cellular automata, and WebGL.

lingua

Implementations of and reasonings about a variety of simple functional languages, in Agda.

liquid-monadic-selectionsort

liquidhaskell-metaprogramming

magic

Magnificent Arcane Ghost Incantation Casting

mancala

Haskell implementation for Mancala, the african board game

mandelbrot_drawing

C++ code for drawing a simple bitmap picture of the mandelbrot set

math.js_fork

My fork of math.js

mathsummer2018

metascience

Work for my Metaphysics of Science class at Reed College.

minecraftarenaapi

Arena-oriented minigame api for minecraft (uses spigot/bukkit)

minirkt-wasm

modut

A statically typed functional programming language with structural refinement types and modular data types.

monadic-equality

monadic-quicksort-verification

A Liquid Haskell verification of Mu and Chiang's "Deriving Monadic Quicksort."

monadv

Text-adventure game implemented with the StateT monad transformer (Haskell).

monoliths

musicgenerator

This is a program that generates tones according to algorithms that may end up sounding like music

nock-hs

notery

An alternative for Latex offering better automation and modularity (work in progress)

ocaml-work

Working practice and examples in OCaml.

openaigym

My solutions to OpenAI's Gym challenges.

openlogic

An open-source, customizable intermediate logic textbook

optimalclassesscheduler

In a college setting, its a struggle to let everyone choose classes efficiently, but still let people get all the classes that they want. This code runs some simplified tests over simulated schoosl to see how effective different scheduling methods are.

particlelife

A life-like simulation with discrete particle-velocity updates in float-space.

patentgeneology

Generates Random Patent graphs for Graphviz