jonathanrlouie Goto Github PK

2dstratgameproject

A 2D strategy game.

amethyst-tetris

A multiplayer Tetris clone using Amethyst (WIP)

amethyst-tilemap-demo

A demo of how to write a custom rendering pass for tilemaps in amethyst.

aop-presentation

Aspect Oriented Programming presentation materials (FP part only)

dataconnectors

Data Connector SDK and samples for Power Query and Power BI

departed

A library that provides some of the benefits of dependent types using the "Ghosts of Departed Proofs" technique

enclosurealgorithm

A Java implementation of an algorithm that can find enclosed shapes on a grid.

enclosurealgorithm2

My second attempt at the enclosure algorithm, after having given the problem more thought.

env-io

A highly experimental, work-in-progress, functional effect system for Rust that is inspired by the ZIO library for Scala

ffi-playground

A small playground Docker environment for testing C FFI in Rust

formality

An efficient proof language

friendly-phantoms

Resources for my Friendly Phantoms Halloween presentation

game-jam-dimension

A small puzzle game about going between dimensions made for a practice game jam

harvest-doom

For the DOOM modding game jam

home-manager-config

My Nix home-manager configuration

idris-maven-archetype

A simple Maven archetype for Idris projects

idris-maven-plugin

A Maven plugin for Idris 2

idris2-pack

jonathanrlouie.github.io

katam-randomizer

But for realsies this time tho????

ld45

Ludum Dare 45 Entry

micmaster

An Android app that provides helpful tools for novice musicians

mini-rando

A small randomizer type game

mock-poke-engine

A mock Pokémon engine for testing my Pokémon AI.

moonad

Moonad: a p2p academic journal, or a social network for code?

nix-test

Just a small project to play around with Nix

rando-engine

A proof-of-concept randomizer engine for games like Kirby and the Amazing Mirror (for my blog, of course)

reviewboard

An extensible and friendly code review tool for projects and companies of all sizes.

rps-client

A simple rock paper scissors client using Scala Actors.

rps-server

A simple rock paper scissors server using Scala Actors.