p-ouellette Goto Github PK

alive2

Automatic verification of LLVM optimizations

aoc2021

Advent of Code 2021 in Standard ML

aoc2022

Advent of Code 2022 in Standard ML

argparse

Feature-rich command line parser for Lua

coqtail

Interactive Coq Proofs in Vim

fish-shell

The user-friendly command line shell.

lf

Terminal file manager

luarocks

LuaRocks is the package manager for the Lua programming language.

minetest

Minetest, an open source infinite-world block sandbox game engine and game with survival and crafting. Also see https://github.com/minetest/minetest_game

minetest_game

Minetest Game - The default game for the Minetest engine [https://github.com/minetest/minetest/]

mkdocs-autoreflinks-plugin

An MkDocs plugin that auto-links heading references

mrsh

A minimal POSIX shell

opendatalink-talk-slides

qbe

qbe-sml

QBE IL library for Standard ML

qbe-tv

Translation validation for QBE IL

smlfmt

A custom parser/auto-formatter for Standard ML

smlnj

Standard ML of New Jersey

smlnj-legacy

This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

sway

i3-compatible Wayland compositor

tictactoe-turtle

A tic tac toe game with an unbeatable AI that uses the Python turtle module

tiger

Compiler for the Tiger language from Appel's Modern Compiler Implementation in ML