Tiago Campos caotic123

Trying a new way to do the same thing

caotic123 / matching.pl

Created April 2, 2024 02:20

A matching between guy and girls party exercise

	willing_to_kiss([], _, __) :- fail.
	willing_to_kiss([[P, PLK, _] \| T], X, P2) :- (P = X, member(P2, PLK)); willing_to_kiss(T, X, P2).

	is_not_in_black_list(K, X, P2) :- member([X, _, BL], K), \+ member(P2, BL).

	is_friend(E, P, H) :- (member([P, H], E); member([H, P], E)).

	is_match(VM, _, M, F) :- willing_to_kiss(VM, M, F).

	might_kiss([VM, _], [VG, __], M, F) :- is_match(VM, VG, M, F).

caotic123 / oop.c

Last active March 17, 2024 07:29

Basic vtables for emulate OOP

	#include <stdio.h>
	#define Method(x, y, type) ((type)(x->methods[y] ))(x)

	#pragma pack(1)
	typedef struct {
	void* space;
	void** methods;
	size_t size;
	int methods_size;
	} table;

caotic123 / rlp.v

Last active July 21, 2022 23:34

Unfinished RLP proof

	From Coq Require Import ssreflect ssrfun ssrbool.
	Set Implicit Arguments.
	Unset Strict Implicit.
	Unset Printing Implicit Defensive.
	Require Import Coq.Arith.PeanoNat.
	Require Import Coq.Init.Nat.
	Require Import Coq.Lists.List.
	Require Import Coq.Strings.Byte.
	Require Import Arith Omega.
	Require Import Coq.Arith.Even.

caotic123 / proof.v

Last active June 30, 2022 06:37

Quite easy proof code

	From Coq Require Import ssreflect ssrfun ssrbool.
	Set Implicit Arguments.
	Unset Strict Implicit.
	Unset Printing Implicit Defensive.
	Require Import Coq.Init.Datatypes.

	Definition Iso A B := exists (f : A -> B) (g : B -> A),
	forall x, f (g x) = x /\ forall y, g (f y) = y.

	Theorem try : Iso True (option False).

caotic123 / basic_sorting.v

Last active April 21, 2020 06:09

Sorting index proof in Coq

	From Coq Require Import ssreflect ssrfun ssrbool.
	Set Implicit Arguments.
	Unset Strict Implicit.
	Unset Printing Implicit Defensive.

	Require Import Coq.Lists.List.
	Require Import Coq.Arith.PeanoNat.
	Require Import Coq.Arith.Compare_dec.
	Require Import Coq.Arith.Div2.

caotic123 / basic_graphs.cpp

Last active December 15, 2019 00:13

Graph datatype - Krustal and Prim Implementation

caotic123 / Client.java

Created November 25, 2019 18:16

	import java.net.*;
	import java.io.*;
	import java.util.Optional;
	import java.util.Timer;
	import java.util.TimerTask;
	import java.util.concurrent.Callable;
	import java.util.concurrent.ExecutorService;
	import java.util.concurrent.Executors;
	import java.util.concurrent.Future;
	import java.util.function.Function;

caotic123 / gist:019696f91d15e593c353a00ad4641d89

Last active November 9, 2019 16:39

Axiom K in Key

	In Agda :
	{-# OPTIONS --with-K #-} -- This is optional just be aware that overrides the option --without-K

	data _≡_ {w : Set} (_x : w) : w -> Set where
	refl : _x ≡ _x

	axiom_k : ∀ {A : Set} {a : A} (P : ∀ (H : a ≡ a) -> Set) (H : P refl) (E : a ≡ a) -> (P E)
	axiom_k p H refl = H

	In Kei :

caotic123 / client.java

Last active September 30, 2019 21:52

A *super simply* multiplayer jokenpo oriented by sockets

	import java.net.*;
	import java.io.*;
	import java.util.LinkedList;
	import java.util.Queue;
	import java.util.concurrent.Callable;
	import java.util.concurrent.ExecutorService;
	import java.util.concurrent.Executors;
	import java.util.concurrent.Future;
	import java.util.function.*;

caotic123 / escalona.apl

Created August 23, 2019 20:33 — forked from luksamuk/escalona.apl

Escalonando Matrizes em APL: Código