Fernando Freire's repositories
coq_practice
Selected solutions and notes from various Coq learning resources.
homebrew-formulae
Formulae for this and that in HomeBrew
rxjava_examples
Selected examples/exercises from Reactive Programming with RxJava.
sample-nats-architecture
A sample project demonstrating how to make use of queues with NATS in Kubernetes using Haskell workers.
sdpyro-utils
A (soon to be) collection of tools for managing various Minecraft related tasks.
church_encodings
Some thoughts on Church encodings in Python
CS352-proglang
A combined repo for all the projects in CS352.
cs441-advt
Final code submission for CS441 Software Engineering.
cs446-os-project
CS446 Operating Systems -- Cumulative HW repo
cspawn
Message oriented container spawning
gimme-aws-creds
A CLI that utilizes Okta IdP via SAML to acquire a temporary AWS credentials
haskell-keyring
Keyring access for Haskell
InnerSourcePatterns
Proven approaches that can guide you through applying open source best practices within your organization
lec-notes
Compiled LaTeX notes for public use
minijava-compiler
Incremental work for the MiniJava compiler, as assigned for CS452 at the University of Portland.
noobs-notification
Small application to notify on new NOOBS installer releases.
presentations
A central repo for presentations (instead of individual repos for each presentation)
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
stackage
"Stable Hackage": vetted consistent packages from Hackage