hugoferreira
Principal Researcher @ Arm, Cambridge / Professor @ FEUP, Porto
Arm and University of PortoLondon, UK
Pinned Repositories
fluent-check
A type-safe fluent-based property based checker natively written for Typescript.
arduino-ts
Arduino/ATMEGA328P Emulator via Reverse Engineering
fpga-8bit-console
8bit console implemented on an FPGA
from-zero-to-computer-ts
8 bit CPU implemented on top of a Digital Circuit Simulator in TypeScript
golf-during-covid
Code Golfing during COVID
greater-monokai
Monokai Color Theme for IntelliJ optimised for Scala and Haskell
hugoferreira.github.com
Blog
micro-fc
Micro Fantasy Console (for the modern browser)
papyrus-theme
Papyrus Jekyll Theme
hugoferreira's Repositories
hugoferreira/greater-monokai
Monokai Color Theme for IntelliJ optimised for Scala and Haskell
hugoferreira/scalastub
Empty 2.9.2 Scala project with batteries included
hugoferreira/LittleTalk
An Object-Oriented (Re-)Implementation of a Minimalistic Self-Hosting Smalltalk Environment
hugoferreira/skicalculus
Ski Calculus in Scala
hugoferreira/99-haskell
99 Haskell Exercises
hugoferreira/cukebins
Support for writing Cucumber step definitions in C++
hugoferreira/emacs
Personal emacs settings
hugoferreira/icfp2012
hugoferreira/libhalt
Library for Detecting Infinite Loops
hugoferreira/MiniFlow
Small, hackable, workflow engine for .NET
hugoferreira/multibot
An IRC bot that tries to support multiple languages
hugoferreira/sbt-extras
Extras for sbt.
hugoferreira/mads-p1
MADS Hackathon
hugoferreira/pythonstub
hugoferreira/s99