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/micro-fc
Micro Fantasy Console (for the modern browser)
hugoferreira/from-zero-to-computer-ts
8 bit CPU implemented on top of a Digital Circuit Simulator in TypeScript
hugoferreira/hugoferreira.github.com
Blog
hugoferreira/asso-pipes-and-stuff-v19
Live Coding of the Pipes and Filters Architecture (and possibly towards Event-Driven)
hugoferreira/advent-of-code-2018
🎄 Functional(ish) solutions in JS for the Advent of Code 2018 problem set
hugoferreira/fpga-8bit-console
8bit console implemented on an FPGA
hugoferreira/from-zero-to-computer
From Zero to Computer
hugoferreira/from-zero-to-computer-ruby
8 bit CPU implemented on top of a Digital Circuit Simulator in Ruby
hugoferreira/resume
Resume
hugoferreira/blackicemx-homebrew-computer
A (re-)imagined homebrew 8-bit computer implemented in Verilog (for the BlackiceMx)
hugoferreira/golf-during-covid
Code Golfing during COVID
hugoferreira/htmlcanvas-textbased-ui
HtmlCanvas2D Text-Based UI Experiences
hugoferreira/type-level-typescript
Typelevel Programming Experiences in TypeScript
hugoferreira/arduino-ts
Arduino/ATMEGA328P Emulator via Reverse Engineering
hugoferreira/baremetal-pi
A skeleton for bare metal programming targeting the Raspberry Pi 3 board (with QEmu and GDB)
hugoferreira/CodeDojosDiamond
hugoferreira/fpga_peripherals
OV7670 camera, ST7735 screen and others on ice40 ultraplus fpga (breakout board)
hugoferreira/homebrew-oss-fpga
Homebrew formulae for building FPGA bitstreams with open-source tools.
hugoferreira/j1forth-emulator-ts
J1 Forth CPU Emulator in TypeScript
hugoferreira/modern-living
From the rant channel, here comes the recommended books to live in (and with) these crazy times
hugoferreira/nes-emulator-ts
Towards a NES emulator in Typescript
hugoferreira/polyglot-euler
📜 Project Euler solutions in various programming languages
hugoferreira/prolog-in-scala
Just playing around with a Prolog-like engine in Scala
hugoferreira/rp2040-project-template
A basic rp2040-hal project with blinky and rtt logging example code. With this you can quickly get started on a new rp2040 project
hugoferreira/serenocc
A LISPish interpreter (via Javascript transpilation)
hugoferreira/ShenzhenMod
Mod for SHENZHEN I/O
hugoferreira/tacs-2021-22
Challenges and Projects for TACS (MIEIC/FEUP) 2021/22
hugoferreira/tangnano4k-playground
Playing with Tang Nano 4k
hugoferreira/verilated-rs
Verilator Porcelain
hugoferreira/verilator-sim-skeleton
Simple Verilator Co-Simulation Skeleton