Paul Ouellette's repositories
mkdocs-autoreflinks-plugin
An MkDocs plugin that auto-links heading references
tictactoe-turtle
A tic tac toe game with an unbeatable AI that uses the Python turtle module
alive2
Automatic verification of LLVM optimizations
aoc2021
Advent of Code 2021 in Standard ML
aoc2022
Advent of Code 2022 in Standard ML
Coqtail
Interactive Coq Proofs in Vim
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/]
mrsh
A minimal POSIX shell
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