gonzalgu

Pinned Repositories

amplify-test
test aws amplify
0 1 00
amplify-vite-react-template
My Amplify Gen 2 starter application
Language:TypeScript0 1 00
applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
Language:Haskell0 1 00
awesome-recursion-schemes
Resources for learning and using recursion schemes.
0 1 00
aws-chat-java
A simple serverless chat toy app built using cdk + java
Language:Java0 1 00
aws-cicd-pipeline-go
Language:Go0 1 00
build-your-own-x
🤓 Build your own (insert technology here)
0 1 00
elm-workshop
Workshop for getting into Elm
Language:Elm1 1 00
types-as-specifications
Language:Haskell1 1 00

gonzalgu's Repositories

gonzalgu/types-as-specifications
Language:Haskell1 1 00
gonzalgu/amplify-test
test aws amplify
0 1 00
gonzalgu/amplify-vite-react-template
My Amplify Gen 2 starter application
Language:TypeScript0 1 00
gonzalgu/applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
Language:Haskell0 1 00
gonzalgu/awesome-recursion-schemes
Resources for learning and using recursion schemes.
0 1 00
gonzalgu/aws-chat-java
A simple serverless chat toy app built using cdk + java
Language:Java0 1 00
gonzalgu/aws-cicd-pipeline-go
Language:Go0 1 00
gonzalgu/build-your-own-x
🤓 Build your own (insert technology here)
0 1 00
gonzalgu/ccwc
Language:OCaml00
gonzalgu/codecrafters-dns-server-go
Language:Go0 1 00
gonzalgu/codecrafters-docker-go
Language:Go0 1 00
gonzalgu/codecrafters-http-server-java
Language:Java0 1 00
gonzalgu/distributed-consensus-reading-list
List of academic papers on distributed consensus
0 1 00
gonzalgu/cdk-workshop-go
Language:Go1 0
gonzalgu/codecrafters-interpreter-go
Language:Go
gonzalgu/codecrafters-interpreter-kotlin
Language:Kotlin
gonzalgu/codecrafters-shell-go
Language:Go1 0
gonzalgu/codecrafters-sqlite-java
Language:Java1 0
gonzalgu/Examples
A collection of TLA+ specifications of varying complexities
Language:TLA1 0
gonzalgu/hacker-rank
Functional Path do hacker Rank
Language:F#1 0
gonzalgu/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop
gonzalgu/learn-terraform-circleci
Supplemental repository for Learn content on CircleCI
Language:HTML
gonzalgu/lets-lens
Course material for lens
Language:Haskell
gonzalgu/logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
Language:Lean1 0
gonzalgu/M40001_lean
Lean stuff for M40001
gonzalgu/mooc-software-testing
Language:Java
gonzalgu/natural_number_game
Building the natural numbers in Lean.
Language:Lean1 0
gonzalgu/rt2
Language:OCaml
gonzalgu/sst-notes
sst demo notes app
Language:TypeScript1 0
gonzalgu/tutorials
Some Lean tutorials