Pinned Repositories
brainfuck
>>>+++.[Brainfuck Interpreter in Python].+++<<<
challenges
Programming challenges.
EOPL
My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
IFPTLC
My solutions to exercises of the book "An Introduction to Functional Programming Through Lambda Calculus"
learningcoq
Code written while learning Coq
mathnotes
SICP
My solutions to the exercises in the book Structure and Interpretation of Computer Programs.
tabloid
My personal blogging system implemented in Python.
TECS
The Elements of Computing Systems
tics_tabloid_contents
Tabloid contents for my TICS blog.
rubenbarroso's Repositories
rubenbarroso/EOPL
My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
rubenbarroso/SICP
My solutions to the exercises in the book Structure and Interpretation of Computer Programs.
rubenbarroso/brainfuck
>>>+++.[Brainfuck Interpreter in Python].+++<<<
rubenbarroso/challenges
Programming challenges.
rubenbarroso/tabloid
My personal blogging system implemented in Python.
rubenbarroso/TECS
The Elements of Computing Systems
rubenbarroso/tics_tabloid_contents
Tabloid contents for my TICS blog.
rubenbarroso/IFPTLC
My solutions to exercises of the book "An Introduction to Functional Programming Through Lambda Calculus"
rubenbarroso/learningcoq
Code written while learning Coq
rubenbarroso/mathnotes
rubenbarroso/papersilove
Papers I Love
rubenbarroso/rubenbarroso.github.com
rubenbarroso/schemely
Scheme plugin for IntelliJ
rubenbarroso/starter-snake-python
A simple Battlesnake written in Python.