pfeodrippe

ClojureStorm: Comprehensive Technical Documentation

Table of Contents

1. Executive Summary
2. Project Overview
3. Architecture Deep Dive
4. Core Components
5. Instrumentation System
6. API Reference

pfeodrippe

import bpy
from bpy.app.handlers import persistent
import os


# This method will select everything, apply all the transforms,
# export and then undo both (transform apply and select all).
@persistent
def VY__export_models(file):
    bpy.ops.object.select_all(action='SELECT')

pfeodrippe

;;; init.el --- Prelude's configuration entry point.
;;
;; Copyright (c) 2011-2020 Bozhidar Batsov
;;
;; Author: Bozhidar Batsov <[email protected]>
;; URL: https://github.com/bbatsov/prelude
;; Version: 1.1.0-snapshot
;; Keywords: convenience

;; This file is not part of GNU Emacs.

pfeodrippe

pom.xml
pom.xml.asc
*.class
/classes/
/target/
/checkouts/
.lein-deps-sum
.lein-repl-history
.lein-plugins/
.lein-failures

pfeodrippe

{:deps
 {io.github.pfeodrippe/dev-tooling {:mvn/version "1.0.48"}
  cheshire/cheshire {:mvn/version "5.11.0"}}

 :paths ["src"]}

pfeodrippe

(ns my-clerk.parser
  (:require
   [nextjournal.clerk.viewer :as clerk.viewer]
   [nextjournal.markdown :as md]
   [nextjournal.markdown.parser :as md.parser]
   [fr.jeremyschoffen.prose.alpha.reader.core :as reader]
   [fr.jeremyschoffen.prose.alpha.eval.common :as eval-common]
   [clojure.string :as str]
   [clojure.walk :as walk]))

pfeodrippe

{:deps
 {org.clojure/tools.analyzer.jvm {:mvn/version "1.1.0"}
  datascript {:mvn/version "1.0.1"}}}

pfeodrippe

Recursos TLA+

Alguns recursos de TLA+ (em inglês, infelizmente, mas entre no nosso grupo do Telegram em #ALGUM_LINK para tirar dúvidas).

Livros

• Practical TLA+ (link para comprar o livro) (Hillel Wayne - 2018. Bom para se iniciar nesse mundo)

• Specifying Systems (open source) (Lamport - atualizado em 2020, aparentemente. Mais avançado, recomendo ler o do Hillel primeiro)

Artigos

• How AWS Uses Formal Methods

pfeodrippe

Keybase proof

I hereby claim:

• I am pfeodrippe on github.
• I am pfeodrippe (https://keybase.io/pfeodrippe) on keybase.
• I have a public key ASC6zPplVGMxrgMzASGL_x6_7YzkShB5SgNgpB3Efv-tvgo

To claim this, I am signing this object:

pfeodrippe

var chart = c3.generate({
    data: {
        x: 'x',
        columns: [
            ['x', '0-4', '5-9', '10-14', '15-24', '25-49', '50+'],
            ['homens', 343, 300, 314, 555, 610, 295],
            ['mulheres', 318, 305, 315, 560, 591, 344]
        ],
        type: 'bar'
    },