Pinned Repositories
algorithms-go
Algorithms and Data Structures implemented in Go for beginners, following best practices.
angular
The modern web developer’s platform
DenotationalSemantics
Describes denotational models of the lambda calculus and its extensions
escher-workshop
Workshop: Functional geometry with Escher and Elm.
gopl.io
hugo-PaperMod
A fast, clean, responsive Hugo theme.
latexcv
:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
learngo
❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
lindenmayer
Feature complete classic L-System library (branching, context sensitive, parametric) & multi-purpose modern L-System/LSystem implementation that can take javascript functions as productions. It is not opinionated about how you do visualisations.
pedromsrocha.github.io
pedromsrocha's Repositories
pedromsrocha/pedromsrocha.github.io
pedromsrocha/algorithms-go
Algorithms and Data Structures implemented in Go for beginners, following best practices.
pedromsrocha/angular
The modern web developer’s platform
pedromsrocha/DenotationalSemantics
Describes denotational models of the lambda calculus and its extensions
pedromsrocha/escher-workshop
Workshop: Functional geometry with Escher and Elm.
pedromsrocha/gopl.io
pedromsrocha/hugo-PaperMod
A fast, clean, responsive Hugo theme.
pedromsrocha/latexcv
:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
pedromsrocha/learngo
❤️ 1000+ Hand-Crafted Go Examples, Exercises, and Quizzes. 🚀 Learn Go by fixing 1000+ tiny programs.
pedromsrocha/lindenmayer
Feature complete classic L-System library (branching, context sensitive, parametric) & multi-purpose modern L-System/LSystem implementation that can take javascript functions as productions. It is not opinionated about how you do visualisations.
pedromsrocha/linear-mvars
pedromsrocha/quillforms
Open Source TypeForm Alternative Based on React JS and Typescript | Best Typeform Clone | Conversational Multi Step Form
pedromsrocha/tech-companies-in-portugal
:portugal: List of technology companies in Portugal.
pedromsrocha/type-theory
Holds work in progress about the essential concepts of Type Theory. Document follows roughly the material exposed in Pierce's Types and Programming Languages.