Pinned Repositories
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-batch-simulator
aws-cdk-rfcs
RFCs for the AWS CDK
cdkpipeline
euler
Project Euler problems
sicp
Exercises from "Structure and Interpretation of Computer Programs"
otaviomacedo's Repositories
otaviomacedo/sicp
Exercises from "Structure and Interpretation of Computer Programs"
otaviomacedo/aws-batch-simulator
otaviomacedo/cdkpipeline
otaviomacedo/euler
Project Euler problems
otaviomacedo/sample-app
otaviomacedo/abstract-algebra
My attempt at solving the exercises in "A Book of Abstract Algebra", 2nd edition, by Charles Pinter.
otaviomacedo/algorithms
Project for studying the "Introduction to Algorithms" book.
otaviomacedo/alloy-projects
otaviomacedo/aws-cdk-rfcs
RFCs for the AWS CDK
otaviomacedo/cdk-scala.g8
otaviomacedo/cdkpipelines-demo
otaviomacedo/community
otaviomacedo/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
otaviomacedo/goformation
GoFormation is a Go library for working with CloudFormation templates.
otaviomacedo/graph-challenge
otaviomacedo/jinaga
Universal web back-end, offering an application-agnostic API, real-time collaboration, and conflict resolution.
otaviomacedo/kics
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
otaviomacedo/kics-cdk-validator-plugin
A KICS plugin for AWS CDK
otaviomacedo/lispql
Simple query language for Javascript objects, inspired by the Lisp syntax
otaviomacedo/monge
otaviomacedo/nested-composition
An exercise in composing functions with nested types in Scala.
otaviomacedo/notices-backend
otaviomacedo/otaviomacedo.github.io
otaviomacedo/paodequeijo
otaviomacedo/psychic-poker
Solution to the Psychic Poker Player problem
otaviomacedo/rdb-pipelines
otaviomacedo/tgg-engine
otaviomacedo/TicTacToe
otaviomacedo/turing