Compiles pseudo-language to WASM with intermediate form in SK-basis.
Table data with lambda abstraction, corresponding combinator sequence and combinator sequence in SK-basis.
{ | |
"Н": { | |
"0": [ | |
{ | |
"Время": "9:45 — 11:20", | |
"Неделя": "Н", | |
"Подгруппа 1": "Архитектура ЭВМ [лаб] (28.10—23.12) доц. Матюшичев Илья Юрьевич, ауд. 267", | |
"Подгруппа 2": "Теоретические основы программирования [лаб] (2.09—9.12) доц. Кудрявцева Ирина Андреевна, ауд. 269" | |
}, | |
{ |
#!/usr/bin/env python3 | |
from datetime import datetime, timedelta | |
class Plantain: | |
data = { | |
4: { | |
0: "9C44010063BBFEFF9C44010000FF00FF", | |
1: "9C44010063BBFEFF9C44010000FF00FF", | |
2: "FC00662B4E017E08A0860101383CE3EB" |
# -*- coding: utf-8 -*- | |
import time | |
import uuid | |
import vk_api | |
def auth_handler(): | |
key = input("Enter authentication code: ").strip() | |
remember_device = True |
Compiles pseudo-language to WASM with intermediate form in SK-basis.
Table data with lambda abstraction, corresponding combinator sequence and combinator sequence in SK-basis.
:seti -XOverloadedStrings | |
:seti -XScopedTypeVariables | |
:set -Wall | |
:set -fno-warn-type-defaults | |
:set -DGHCI | |
:set +s | |
:set +t | |
:set +m |
set nocompatible | |
filetype on | |
filetype off | |
let $VIMRCDIR = fnamemodify($MYVIMRC, ':p:h') | |
let s:platform = { | |
\ 'osx': has('macunix'), | |
\ 'linux': has('unix') && !has('macunix') && !has('win32unix'), | |
\ 'windows': has('win32') || has('win64'), |
from json import load | |
def fn(tr, out): | |
tr_data = load(tr) | |
for line_list in tr_data: | |
tmp = list(filter(lambda line: line[0].isupper(), line_list)) | |
if len(tmp) == 0: | |
tmp = line_list |
#!/usr/bin/env python3 | |
# -*- coding: utf-8 -*- | |
from collections import deque | |
from copy import deepcopy | |
from datetime import datetime, timedelta | |
from random import randint, getrandbits | |
from re import search | |
from signal import signal, SIGINT, SIGTERM | |
from sys import exit |
#!/usr/bin/env python3 | |
# -*- coding: utf-8 -*- | |
from collections import deque | |
from copy import deepcopy | |
from datetime import datetime, timedelta | |
from random import getrandbits | |
from re import search | |
from signal import signal, SIGINT, SIGTERM | |
from sys import exit |
set -o vi | |
shopt -s autocd | |
alias ghc='ghc -no-keep-hi-files -no-keep-o-files -fforce-recomp -Wall' | |
alias g++='g++ -D_FORTIFY_SOURCE=2 -D_GLIBCXX_ASSERTIONS -fasynchronous-unwind-tables -fpie -fstack-protector-all -fpic -O2 -pipe -Wall -Werror=format-security -Werror=implicit-function-declaration' | |
alias external_ip='curl ipinfo.io/ip; echo' | |
alias internal_ip='ipconfig getifaddr en1' | |
alias webserve='python3 -m http.server 8000' | |
alias pgstart='pg_ctl -D /usr/local/var/postgres start' | |
alias wget='aria2c --file-allocation=none -c -x 10 -s 10' |