Skip to content

Instantly share code, notes, and snippets.

View Eroxl's full-sized avatar
🥝
Tapped in

Evan Eroxl

🥝
Tapped in
View GitHub Profile
@Eroxl
Eroxl / FOLProof.sty
Last active November 21, 2025 04:01
Nicely styled FOL proofs in Latex
\newcommand{\proof}[3]{
\begin{aligned}
#1
\end{aligned} \quad
\left| \quad
\begin{aligned}
#2
\end{aligned}
\quad \begin{aligned}
#3
@Eroxl
Eroxl / getArgHelp.js
Last active December 18, 2022 05:14
Script for the game Bit Burner that runs a given script on all connected computers
/**
* @param {{
* fullKeyword: string,
* shortKeyword: string | undefined,
* type: 'string' | 'number' | 'flag',
* description: string,
* }[]} acceptedArgs
* @returns string
*/
const getArgHelp = (acceptedArgs) => {
@Eroxl
Eroxl / PLLYSOLV.8xp
Created November 29, 2022 05:34
Simple TI Basic script for solving a pulley system.
ClrHome
Disp "Pulley Equation Solver"
Input "Mass 1 (kg): ",X
Input "Mass 2 (kg): ",Y
((9.8*max(X,Y))-(9.8*min(X,Y)))/(X+Y)→A
(min(X,Y)*A)+(9.8*min(X,Y))→T
Disp " "
Disp "Accel (A): "
@Eroxl
Eroxl / TicTacToe.ps1
Created October 19, 2022 01:06
A super simple tic tac toe game written in powershell.
# ~ Main Class
class TicTacToe {
[string[][]] $board
[string[]] $players
TicTacToe() {
# ~ Initialize Board
$this.ResetBoard()
# ~ Initialize Players
@Eroxl
Eroxl / Profile.ps1
Last active October 19, 2022 01:07
Profile startup script.
# ~ Class for controling different colour schemes
class ColourScheme {
[string]$Name
[string]$BackgroundColour
[string]$ForegroundColour
ColourScheme([string]$name, [string]$backgroundColour, [string]$foregroundColour) {
$this.Name = $name
$this.BackgroundColour = $backgroundColour
$this.ForegroundColour = $foregroundColour
@Eroxl
Eroxl / TicTacToe.py
Last active April 1, 2022 18:36
A super simple tic tac toe game written in python with no external libraries.
import curses
from typing import Tuple, List
def underline_text(text: str) -> str:
"""Underlines a string with console escape characters"""
return '\u0332'.join(text) + '\u0332'
class TicTacToe():
"""A class to play a tic tac toe game"""