Skip to content

Instantly share code, notes, and snippets.

View nick-025's full-sized avatar
✌️
Not too much going on

Nicholas Davi nick-025

✌️
Not too much going on
View GitHub Profile
@influentcoder
influentcoder / groups.md
Created March 13, 2019 13:36
Magma, Semigroups, Monoids, Groups

Summary

Closure Associativity Identity Invertibility
Magma Required
Semigroup Required Required
Monoid Required Required Required
Group Required Required Required Required

Magma

public static final String ANSI_RESET = "\u001B[0m";
public static final String ANSI_BLACK = "\u001B[30m";
public static final String ANSI_RED = "\u001B[31m";
public static final String ANSI_GREEN = "\u001B[32m";
public static final String ANSI_LIGHT_YELLOW = "\u001B[93m";
public static final String ANSI_YELLOW = "\u001B[33m";
public static final String ANSI_YELLOW_BACKGROUND = "\u001B[43m";
public static final String ANSI_BLUE = "\u001B[34m";
public static final String ANSI_PURPLE = "\u001B[35m";
public static final String ANSI_CYAN = "\u001B[36m";
@marcoscastro
marcoscastro / is_prime.hs
Created June 14, 2014 21:13
Haskell - Check if a number is prime
is_prime :: Int -> Bool
is_prime 1 = False
is_prime 2 = True
is_prime n | (length [x | x <- [2 .. n-1], mod n x == 0]) > 0 = False
| otherwise = True
@hfossli
hfossli / ffmpeg_sox_reverse.sh
Last active May 12, 2022 07:32
A bash script for reversing videos using ffmpeg and sox.
#!/bin/bash
# Created by Håvard Fossli <hfossli@gmail.com> in 2013
# This is free and unencumbered software released into the public domain.
# For more information, please refer to <http://unlicense.org/>
#
# Description
# A bash script for reversing videos using ffmpeg and sox.
#
# Keywords