Skip to content
View p-ouellette's full-sized avatar

Organizations

@luarocks

Block or report p-ouellette

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • The user-friendly command line shell.

    Rust Other Updated Jan 20, 2024
  • smlnj Public

    Forked from smlnj/smlnj

    Standard ML of New Jersey

    C++ BSD 3-Clause "New" or "Revised" License Updated Jun 27, 2023
  • smlfmt Public

    Forked from shwestrick/smlfmt

    A custom parser/auto-formatter for Standard ML

    Standard ML MIT License Updated Apr 1, 2023
  • lf Public

    Forked from gokcehan/lf

    Terminal file manager

    Go MIT License Updated Apr 1, 2023
  • aoc2022 Public

    Advent of Code 2022 in Standard ML

    Standard ML BSD Zero Clause License Updated Dec 30, 2022
  • smlnj-legacy Public

    Forked from 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).

    Standard ML BSD 3-Clause "New" or "Revised" License Updated Dec 27, 2022
  • qbe-sml Public

    QBE IL library for Standard ML

    Standard ML 7 MIT License Updated Dec 14, 2022
  • qbe-tv Public

    Translation validation for QBE IL

    Standard ML MIT License Updated Apr 9, 2022
  • qbe Public

    C MIT License Updated Mar 30, 2022
  • alive2 Public

    Forked from AliveToolkit/alive2

    Automatic verification of LLVM optimizations

    C++ MIT License Updated Feb 21, 2022
  • aoc2021 Public

    Advent of Code 2021 in Standard ML

    Standard ML Updated Jan 3, 2022
  • tiger Public

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

    Standard ML 1 1 Updated Dec 14, 2021
  • Coqtail Public

    Forked from whonore/Coqtail

    Interactive Coq Proofs in Vim

    Python MIT License Updated Jul 18, 2021
  • Minetest Game - The default game for the Minetest engine [https://github.com/minetest/minetest/]

    Lua Other Updated Mar 17, 2021
  • An MkDocs plugin that auto-links heading references

    Python 5 BSD Zero Clause License Updated Feb 13, 2021
  • minetest Public

    Forked from minetest/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

    C++ Other Updated Dec 12, 2020
  • TeX Updated Aug 25, 2020
  • argparse Public

    Forked from mpeterv/argparse

    Feature-rich command line parser for Lua

    Lua Other Updated Jun 5, 2020
  • sway Public

    Forked from swaywm/sway

    i3-compatible Wayland compositor

    C MIT License Updated May 11, 2020
  • luarocks Public

    Forked from luarocks/luarocks

    LuaRocks is the package manager for the Lua programming language.

    Lua MIT License Updated Jan 23, 2020
  • mrsh Public

    Forked from emersion/mrsh

    A minimal POSIX shell

    C MIT License Updated Apr 18, 2019
  • A tic tac toe game with an unbeatable AI that uses the Python turtle module

    Python 1 1 MIT License Updated Apr 18, 2018