Skip to content

Instantly share code, notes, and snippets.

WorldSEnder

  • Worldwide
Block or report user

Report or block WorldSEnder

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
@WorldSEnder
WorldSEnder / ModularAutomata.agda
Last active Jun 19, 2019
Simulation modular automata
View ModularAutomata.agda
{-# OPTIONS --cubical #-}
module modularAutomata where
open import Data.Maybe
open import Cubical.Data.Prod
open import Cubical.Foundations.Everything
-- first, setup a type of infinite (coinductive) lists, we will need it later for simulation
record νList (A : Set) : Set where
@WorldSEnder
WorldSEnder / extract.py
Last active Oct 11, 2018
Decrypts your Monster Hunter world save data
View extract.py
import sys, errno, io
import struct
import base64
import blowfish
key = base64.b64decode(b'eGllWmpvZSNQMjEzNC0zem1hZ2hncHFvZTB6OCQzYXplcQ==')
cipher = blowfish.Cipher(key, byte_order="little")
if sys.version_info[0] == 3:
@WorldSEnder
WorldSEnder / higher-kinded.ts
Last active Jan 17, 2020
Higher kinded types in typescript
View higher-kinded.ts
// The two main components are the interfaces
// Generic<T, Context> and GenericArg<"identifier">
// Generic basically structurally replaces types in T that are GenericArg<S>
// for some `S extends keyof Context` with `Context[S]`
// See the test cases for specific uses.
// ====== TESTING
// Pass through for trivial types
type Test00 = Generic<number>;
@WorldSEnder
WorldSEnder / main.cpp
Created Oct 29, 2017
C++ private member access
View main.cpp
#include <iostream>
class Foo {
int bar = 0;
int foobar = 999;
static inline int zip;
public:
void print() {
std::cout << "Bar: " << bar << std::endl;
std::cout << "Zip: " << zip << std::endl;
@WorldSEnder
WorldSEnder / PKGBUILD
Created May 18, 2017
CaRL package build file
View PKGBUILD
pkgname=carl
pkgdesc="An Open Source C++ Library for Computer Arithmetic and Logic"
url="https://github.com/smtrat/carl"
arch=("i686" "x86_64")
license=("mit")
depends=("gmp" "eigen3" "boost")
makedepends=("make" "cmake")
conflicts=()
replaces=()
backup=()
@WorldSEnder
WorldSEnder / PKGBUILD
Created May 18, 2017
HyPro build scripts
View PKGBUILD
pkgname=HyPro
pkgdesc="A C++ state set representation library for the analysis of hybrid systems"
url="https://github.com/hypro/hypro"
arch=("i686" "x86_64")
license=("mit")
depends=("gmp" "boost" "glpk" "carl")
makedepends=("make" "cmake")
conflicts=()
replaces=()
backup=()
You can’t perform that action at this time.