mvolfik

use std::{cell::RefCell, collections::HashMap, rc::Rc};

use js_sys::{Array, Function};
use wasm_bindgen::{
    prelude::{wasm_bindgen, Closure},
    JsCast, JsValue,
};

#[wasm_bindgen]
pub struct Writable {

bcmills

# The sequences in this file employ general mnemonics of the form
# [modifier*] shape [variant]
#
# Keys used for modifiers include:
# • <slash> overstrikes a slash.
# • <O> adds a surrounding circle.
# • <bracketleft> adds a surrounding square.
# • <Multi_key> followed by a symbol selects a mathematical operator.
# • <Multi_key> followed by a letter selects a named character.
# • <Multi_key> <Multi_key> selects a symbol for a modifier key.

nealfennimore

# ------------------------------------------------
# Config files are located in /etc/wireguard/wg0
# ------------------------------------------------

# ---------- Server Config ----------
[Interface]
Address = 10.10.0.1/24 # IPV4 CIDR 
Address = fd86:ea04:1111::1/64 # IPV6 CIDR 
PostUp = iptables -A FORWARD -i wg0 -j ACCEPT; iptables -t nat -A POSTROUTING -o eth0 -j MASQUERADE; ip6tables -A FORWARD -i wg0 -j ACCEPT; ip6tables -t nat -A POSTROUTING -o eth0 -j MASQUERADE # Add forwarding when VPN is started
PostDown = iptables -D FORWARD -i wg0 -j ACCEPT; iptables -t nat -D POSTROUTING -o eth0 -j MASQUERADE; ip6tables -D FORWARD -i wg0 -j ACCEPT; ip6tables -t nat -D POSTROUTING -o eth0 -j MASQUERADE # Remove forwarding when VPN is shutdown

cipharius

define-command sort-selections -params 0.. -override -docstring '
sort-selections: Sort current selections using GNU sort utility
All parameters will be passed to the GNU sort utility
' %{
    # Copy current selections to a temporary sort buffer
    execute-keys %{"sy}
    edit -scratch *sort-selections*
    execute-keys %{"s<a-p>}

    # Seperate selections with null characters

VictorTaelin

-- Natural numbers

def Nat
  {-Nat : Type}
  {succ : {x : Nat} Nat}
  {zero : Nat}
  Nat

def succ
  [n    : Nat]

soshial

import xml.etree.ElementTree
import djvu.decode as djvu
import sys

__author__ = 'soshial'

'''
1. export bookmarks from PDF using pdfminer:
        > python tools/dumppdf.py -T ~/book.pdf > ~/toc_pdf.xml
2. use current script to convert bookmarks (we need python-djvulibre), but it could be easily done without it (using pages, see http://www.ub-filosofie.ro/~solcan/wt/gnu/d/bdjv.html)

0thernet

Drag from an existing node to add a new node or link. Hit the DELETE key to remove the selected node or link.

Built with D3.js.