Christoph folkengine

Erlang QuickCheck

What is QuickCheck?

QuickCheck is a language for stating properties of programs.

?FORALL(X, nat(), X*X >= 0)

This gist contains lists of modules available in

Python 3.10
Python 3.9
Python 3.8
Python 3.7
Python 3.6
Python 2.7

in AWS Lambda.

How to use PlantUML with Markdown

PlantUML is a really awesome way to create diagrams by writing code instead of drawing and dragging visual elements. Markdown is a really nice documentation tool.

Here's how I combine the two, to create docs with embedded diagrams.

Step 0: Setup

Get the command-line PlantUML from the download page or your relevant package manager.

Nerd Fonts for your IDE

https://www.nerdfonts.com/font-downloads

The following solution thanks to @hackerzgz & @snacky101 will install all nerd fonts;

brew tap homebrew/cask-fonts
brew search '/font-.*-nerd-font/' | awk '{ print $1 }' | xargs -I{} brew install --cask {} || true

	package main

	import (
	"flag"
	"fmt"
	"testing"
	)

	func Test1(t *testing.T) {
	if 1+2 != 3 {

	# ----------------------------------------------------------------------------------
	# r u s t f m t - C O N F I G
	# ==================================================================================
	#
	# Version: 0.7.1
	# Author : Robbepop <[email protected]>
	#
	# A predefined .rustfmt.toml file with all configuration options and their
	# associated description, possible values and default values for use in other
	# projects.

	# See http://help.github.com/ignore-files/ for more about ignoring files.

	# compiled output
	/dist
	/tmp
	/out-tsc

	# Runtime data
	pids
	*.pid

	import 'package:flutter/material.dart';

	void main() {
	runApp(new MaterialApp(
	// Title
	title: "Example App",
	// Home
	home: new ListTileWithPopupMenuButton()
	));
	}

	##################
	# Create Cluster #
	##################

	minikube start \
	--vm-driver virtualbox \
	--cpus 4 \
	--memory 8192

	minikube addons enable default-storageclass

	# Source: https://gist.github.com/801c99d6acc5a1e68bcee2591fac90eb

	####################
	# Creating Cluster #
	####################

	# Docker for Desktop: https://gist.github.com/33fd661da626a167687ecb4267700588
	# minikube: https://gist.github.com/e7ad0cc633831147d2dbcd4fe2a97a74
	# GKE: https://gist.github.com/a260c0812459a57b46b9ea807a26173e
	# EKS: https://gist.github.com/073edd549bc0c4d9bda6b4b7bd6bed99