aaronlelevier

saltstack-django-uwsgi-nginx

Use Saltstack to manage configure a server setup

import-iam-to-cfn

Example of importing AWS IAM into Cloudformation

aaronlelevier.github.io

http://aaronlelevier.github.io

aws-federation-github-actions

Example repo following: https://awsteele.com/blog/2021/09/15/aws-federation-comes-to-github-actions.html

boto3_flask

Make boto3 API calls with reflection using a Flask app.

call-module-code

Learing Golang v2

d2a-config

d2a-game

d2a-gitr

Gitr is for Github API calls without using go-github

datatoapi-monday

Golang and Ginserver prototyping

docker-erlang-example

HowTo Erlang in Docker

dotfiles

dotfiles

eBooks

erlgame

I wonder what it would be like to code up some simple game rules in Erlang

Examples

A collection of TLA+ specifications of varying complexities

flow

Erlang FSM repo for prototyping

github-ci

Github CI

go-github

Go library for accessing the GitHub API

goConfig

grpc

The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)

jaerlang2-code

Source Code for Programming Erlang (2nd edition)

k8s-hello-worlds

lager

A logging framework for Erlang/OTP

liam

Erlang app that calls boto3_flask

markdown-notes

pace

Project for fun hacking in erlang, docker, and k8s.

tcpl

The C Programming Language - exercises and scratchpad code

tlaplus-aaron

TLA+

transaction_commit

Erlang implementation of TLA+ TCommit

web-service-gin

Code from tutorial: https://golang.org/doc/tutorial/web-service-gin