Pinned Repositories
go-faiss
Go bindings for Faiss
alive2
Automatic verification of LLVM optimizations
aoc2021
Advent of Code 2021 in Standard ML
aoc2022
Advent of Code 2022 in Standard ML
mkdocs-autoreflinks-plugin
An MkDocs plugin that auto-links heading references
qbe-sml
QBE IL library for Standard ML
qbe-tv
Translation validation for QBE IL
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
p-ouellette's Repositories
p-ouellette/qbe-sml
QBE IL library for Standard ML
p-ouellette/mkdocs-autoreflinks-plugin
An MkDocs plugin that auto-links heading references
p-ouellette/tictactoe-turtle
A tic tac toe game with an unbeatable AI that uses the Python turtle module
p-ouellette/tiger
Compiler for the Tiger language from Appel's Modern Compiler Implementation in ML
p-ouellette/alive2
Automatic verification of LLVM optimizations
p-ouellette/aoc2021
Advent of Code 2021 in Standard ML
p-ouellette/aoc2022
Advent of Code 2022 in Standard ML
p-ouellette/qbe-tv
Translation validation for QBE IL
p-ouellette/argparse
Feature-rich command line parser for Lua
p-ouellette/Coqtail
Interactive Coq Proofs in Vim
p-ouellette/fish-shell
The user-friendly command line shell.
p-ouellette/lf
Terminal file manager
p-ouellette/luarocks
LuaRocks is the package manager for the Lua programming language.
p-ouellette/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
p-ouellette/minetest_game
Minetest Game - The default game for the Minetest engine [https://github.com/minetest/minetest/]
p-ouellette/mrsh
A minimal POSIX shell
p-ouellette/opendatalink-talk-slides
p-ouellette/qbe
p-ouellette/smlfmt
A custom parser/auto-formatter for Standard ML
p-ouellette/smlnj
Standard ML of New Jersey
p-ouellette/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).
p-ouellette/sway
i3-compatible Wayland compositor