Chimrod

type filter =
  | Lenght of int
  | Contain of char * int option
  | NotContain of char * int option

(** Represent a decision rule *)
let format_filter : Format.formatter -> filter -> unit =
 fun formatter f ->
  match f with
  | Lenght l -> Format.fprintf formatter "Doit etre de longueur %d" l

imthenachoman

Contents

• Markdown and reStructuredText

Markdown and reStructuredText

GitHub supports several lightweight markup languages for documentation; the most popular ones (generally, not just at GitHub) are Markdown and reStructuredText. Markdown is sometimes considered easier to use, and is often preferred when the purpose is simply to generate HTML. On the other hand, reStructuredText is more extensible and powerful, with native support (not just embedded HTML) for tables, as well as

blackcater

Diagrams

Markdown Preview Enhanced supports rendering flow charts, sequence diagrams, mermaid, PlantUML, WaveDrom, GraphViz, Vega & Vega-lite, Ditaa diagrams. You can also render TikZ, Python Matplotlib, Plotly and all sorts of other graphs and diagrams by using Code Chunk.

Please note that some diagrams don't work well with file exports such as PDF, pandoc, etc.

Flow Charts

This feature is powered by flowchart.js.

staaldraad

# Gawk version
# Remote
grep -v "rem_address" /proc/net/tcp  | awk  '{x=strtonum("0x"substr($3,index($3,":")-2,2)); for (i=5; i>0; i-=2) x = x"."strtonum("0x"substr($3,i,2))}{print x":"strtonum("0x"substr($3,index($3,":")+1,4))}'

# Local
grep -v "rem_address" /proc/net/tcp | awk  '{x=strtonum("0x"substr($2,index($2,":")-2,2)); for (i=5; i>0; i-=2) x = x"."strtonum("0x"substr($2,i,2))}{print x":"strtonum("0x"substr($2,index($2,":")+1,4))}'

# No Gawk
# Local
grep -v "rem_address" /proc/net/tcp  | awk 'function hextodec(str,ret,n,i,k,c){

ernstki

<?php
/*************************************************************************************
 * sshconfig.php
 * --------
 * Author: Kevin Ernst (kevin.ernst -at- cchmc.org)
 * Copyright: (c) 2017 Kevin Ernst
 * Release Version: 1.0.9.1
 * Date Started: 2017/12/01
 *
 * OpenSSH config file (~/.ssh/config) language file for GeSHi.

lgg

• Original article
• Wayback machine

---

Keepass file format explained

I’m currently working (I’m just at the beginning, and I’m quite slow) on a personal project that will use Keepass files (kdb and kdbx).
I tried to find some documentation about .kdb and .kdbx format, but I didn’t find anything, even in the Keepass official website. I you want to know how these file formats are structured, you must read Keepass’s source code. So I wrote this article that explains how Keepass file format are structured, maybe it will help someone.

rayantony

Dillinger

Dillinger is a cloud-enabled, mobile-ready, offline-storage, AngularJS powered HTML5 Markdown editor.

• Type some Markdown on the left
• See HTML in the right
• Magic

johnloy

Electron apps

• Marp: Markdown presentation ecosystem.

• muryoimpl/slippr: markdown presentation app by Electron

• joe-re/cafe-pitch Markdown-driven presentation tool built on Electron.

Slide deck frameworks supporting Markdown source

drkarl

VimWiki Cheatsheet

[number] refers to the wiki number, set by the order in your vimrc. The default is 1.

Wiki Management

• [number] <leader> ww - open wiki index file
• [number] <leader> wt - open wiki index file in new tab
• <leader> ws - list and select available wikis
• wd - delete wiki page

m93a

# Emoji
# http://unicode.org/emoji/charts/full-emoji-list.html

<Multi_key> <e> <m> <o> <colon> <D>              : "😀"
<Multi_key> <e> <m> <o> <x> <D>                  : "😁"
<Multi_key> <e> <m> <o> <x> <apostrophe> <D>     : "😂"
<Multi_key> <e> <m> <o> <colon> <apostrophe> <D> : "😂"
<Multi_key> <e> <m> <o> <r> <o> <f> <l>          : "🤣"
<Multi_key> <e> <m> <o> <colon> <d>              : "😃"
<Multi_key> <e> <m> <o> <x> <parenright>         : "😄"