Skip to content

Instantly share code, notes, and snippets.

View Mroik's full-sized avatar

Mroik/PositiveC Mroik

71 followers · 63 following
View GitHub Profile
@Mroik
Mroik / csp.py
Last active July 10, 2023 13:54
Example implementation of AC3 and Path Consistency algorithm to solve for CSP
arcs = {
"a": {
"b": lambda x, y: x != y,
#"c": lambda x, y: x != y,
},
"b": {
"a": lambda x, y: x != y,
"c": lambda x, y: x != y,
},
"c": {
@Mroik
Mroik / render_3d.rs
Last active April 25, 2023 17:30
An attempt to 3D rendering on the terminal using ASCII characters. The rendering works just fine, I don't understand why it isn't centered tho. It looks like I'm looking at the cube from the side.
use std::iter;
type Coordinates = (f64, f64, f64);
fn get_vector(a: Coordinates, b: Coordinates) -> Coordinates {
return (b.0 - a.0, b.1 - a.1, b.2 - a.2);
}
fn scale(point: Coordinates, scalar: f64) -> Coordinates {
return (point.0 * scalar, point.1 * scalar, point.2 * scalar);
@Mroik
Mroik / moving_stuff.rs
Last active April 23, 2023 16:40
2D stuff on terminal
use std::time::Instant;
struct Engine {
timer: Instant,
tick_rate: u128,
fps: u128,
last_update: u128,
last_draw: u128,
acc: u128,
width: i32,
@Mroik
Mroik / mergesort.elf
Last active August 1, 2023 00:33
int: type.
z: int.
s: int -> int.
0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.
@Mroik
Mroik / qsort.elf
Created March 18, 2023 19:59
int: type.
z: int.
s: int -> int.
0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.
@Mroik
Mroik / war.elf
Created March 18, 2023 00:09
Team fight program written in twelf
int: type.
z: int.
s: int -> int.
0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.
@Mroik
Mroik / q.elf
Last active March 30, 2023 18:29
Q with no negatives
int: type.
z: int.
s: int -> int.
0 = z.
1 = s 0.
2 = s 1.
3 = s 2.
4 = s 3.
5 = s 4.
@Mroik
Mroik / remote_print.erl
Last active December 20, 2022 03:20
A simple helper function to print on a remote shell in erlang
-module(remote_print).
-export([print/3]).
print(Node, String, Args) ->
RemotePid = rpc:call(Node, erlang, whereis, [shell]), % Assume that on Node `register(shell, self())` was ran
{group_leader, RemoteGroup} = rpc:call(Node, erlang, process_info, [RemotePid, group_leader]),
spawn(Node, io, format, [RemoteGroup, String, Args]).
@Mroik
Mroik / select_emoji.sh
Last active November 3, 2022 22:20
A script to copy an emoji into the clipboard
#!/bin/bash
tail -n +5 "$0" | dmenu -i -l 20 | cut -d\ -f1 - | sed -z "s/\n//g" | xclip -i -selection clipboard
exit
😀 Grinning Face
😃 Grinning Face with Big Eyes
😄 Grinning Face with Smiling Eyes
😁 Beaming Face with Smiling Eyes
😆 Grinning Squinting Face
😅 Grinning Face with Sweat
@Mroik
Mroik / preferred.md
Last active September 1, 2024 21:26
Preferred styling 
astyle --style=kr --indent=tab -U -xg