siraben

use std::rc::Rc;
// Environment-passing lambda calculus interpreter in Rust
#[derive(Debug, Clone, PartialEq)]
enum LC {
    Var(String),
    App(Box<LC>, Box<LC>),
    Abs(String, Box<LC>),
    Lit(u32),
    Incr(Box<LC>),
}

Yureien

import sys
import math
import struct
import random
import requests
from z3 import *

MASK = 0xFFFFFFFFFFFFFFFF

# xor_shift_128_plus algorithm