rybla Goto Github PK

housing-survey

Survey and analysis of Reed College off-campus housing data.

hypermd

A markdown variant with special heatures for the web, as well as compiling to html

idris-work

A repository for my miscellaneos work while learning Idris.

imp-interpreter

This is a small Haskell implementation of the IMP language, as specified in the K Framework tutorial here.

impe

insertion-sort

A text adventure game made for my Math 121 class. In the game, you are a hacker, hired to take down a company's evil scheme. As you uncover clues and break into the employee's computers, you discover that the evil scheme might not be able to be judged morally after all.

itse

A simple self-typed language (system S) for lambda-encoded data-types.

jcassets

John Cena Assets for reference

k-prototypes

k-resources

A collection of system scripts and templates for working with the K Framework.

knotation

Strange Loop 2015 talk: knot notation, enumeration, and drawing

language-miniml

A grammar specification for MiniML.

lecture-notes-secure-distributed-computation

leptos-experiment-1

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-flex-hs

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.