Pinned Repositories
2014
Official content for the Fall 2014 Harvard CS109 Data Science course
arith
Chapters 3 and 4 of Types and Programming Languages, by Benjamin C. Pierce.
bflores-videos-recommendation-engine
My first recommendation engine system - sadly the complete revision history has been lost :(
cpdt
Certified Programming with Dependent Types
logical-foundations
Logical Foundations :: https://softwarefoundations.cis.upenn.edu/lf-current/index.html
Modern-Compiler-Implementation-in-ML-book
My OCaml implementation of the Tiger language.
pierce-fullpoly
The fullpoly implementation from Benjamin C. Pierce's book Types and Programming Languages.
purely-functional-data-structures-okasaki
Purely Functional Data Structures, by Chris Okasaki.
torbreck-lang
This small language is named after the Torbreck, "the first high-rise and mix-use residential development in Queensland, Australia".
type-driven-with-idris
Type Driven Development with Idris
brunoflores's Repositories
brunoflores/logical-foundations
Logical Foundations :: https://softwarefoundations.cis.upenn.edu/lf-current/index.html
brunoflores/arith
Chapters 3 and 4 of Types and Programming Languages, by Benjamin C. Pierce.
brunoflores/Modern-Compiler-Implementation-in-ML-book
My OCaml implementation of the Tiger language.
brunoflores/pierce-fullpoly
The fullpoly implementation from Benjamin C. Pierce's book Types and Programming Languages.
brunoflores/torbreck-lang
This small language is named after the Torbreck, "the first high-rise and mix-use residential development in Queensland, Australia".
brunoflores/ASL
ASL: A Small Language, from the book Functional Programming Using Caml Light.
brunoflores/bluespec-by-example
Standalone examples in Bluespec.
brunoflores/bluespec-smoke
Smoke tests.
brunoflores/bsc
Bluespec Compiler (BSC)
brunoflores/concrete-semantics-book
concrete-semantics.org
brunoflores/dotfiles
My personal dotfiles.
brunoflores/emacs.d
brunoflores/florence
brunoflores/fstar-hello
brunoflores/harper-foundations
But what are these phrases? What is a program made of?
brunoflores/irrd
IRRd version 4
brunoflores/kaleidoscope
brunoflores/LC-3
brunoflores/lipsi
Lipsi: Probably the Smallest Processor in the World
brunoflores/mlton
The MLton repository
brunoflores/More-OCaml
http://ocaml-book.com/more-ocaml-algorithms-methods-diversions/
brunoflores/programming-in-sml-harper
Programming in Standard ML, by Robert Harper.
brunoflores/sedgewick
brunoflores/sicp
brunoflores/soupault
Static website generator based on HTML element tree rewriting
brunoflores/straight-line
brunoflores/theories
brunoflores/Using-Understanding-and-Unraveling-The-OCaml-Language
Using, Understanding, and Unraveling The OCaml Language. https://caml.inria.fr/pub/docs/u3-ocaml/index.html
brunoflores/www
https://brunoflores.com.br
brunoflores/www-compiler-team