otaviomacedo

sicp

Exercises from "Structure and Interpretation of Computer Programs"

aws-batch-simulator

cdkpipeline

euler

Project Euler problems

sample-app

abstract-algebra

My attempt at solving the exercises in "A Book of Abstract Algebra", 2nd edition, by Charles Pinter.

algorithms

Project for studying the "Introduction to Algorithms" book.

alloy-projects

aws-cdk-rfcs

RFCs for the AWS CDK

cdk-scala.g8

cfn-lint

CloudFormation Linter

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

goformation

GoFormation is a Go library for working with CloudFormation templates.

graph-challenge

jinaga

Universal web back-end, offering an application-agnostic API, real-time collaboration, and conflict resolution.

kics

Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.

kics-cdk-validator-plugin

A KICS plugin for AWS CDK

monge

nested-composition

An exercise in composing functions with nested types in Scala.

otaviomacedo.github.io

paodequeijo

psychic-poker

Solution to the Psychic Poker Player problem

template-cleaner

TicTacToe

turing