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/papyrus-theme
Papyrus Jekyll Theme
hugoferreira/chessocr
Chess OCR using Neural Networks
hugoferreira/chip8
Chip8 Emulator in Typescript
hugoferreira/corewars-js
Core Wars Simulator (MARS) in Scala.JS
hugoferreira/simpledraw
Toy Application for Learning Patterns and Refactoring to Patterns
hugoferreira/things-at-home
Controlling Chacon Home Automation with Raspberry Pi, MQTT and RF433
hugoferreira/uart-example-papilio-pro
UART Example for Papilio PRO
hugoferreira/esp8266-mini-iot
ESP8266 Mini-IoT Board
hugoferreira/think-bayes
A purely functional interpretation in Scala of Allen B. Downey "Think Bayes"
hugoferreira/aoc2017apl
Advent of Code 2017 solutions in APL
hugoferreira/chess-piece-collector
An utility for collecting training data for a chess board recognition ML system.
hugoferreira/flatwhite-syntax
A light syntax theme for Atom
hugoferreira/ipython-docker
Dockerfile for setting up an iPython container
hugoferreira/IScala
Scala backend for IPython
hugoferreira/jekyllthemes
A directory of the best-looking themes for Jekyll blogs
hugoferreira/language-prolog
Prolog language support for Atom
hugoferreira/lz4-java
LZ4 compression for Java
hugoferreira/MathBox.js
MathBox is a (work in progress) library for making presentation-quality math diagrams in WebGL.
hugoferreira/mathematical-proofs
Exercises for the book Mathematical Proofs
hugoferreira/pfp-scala
Probabilistic Functional Programming in Scala
hugoferreira/PKGBUILDs
PKGBUILDs modified to build on Arch Linux ARM
hugoferreira/scala-benchmarking-template
SBT template project for creating Scala (micro-)benchmarks based on Caliper
hugoferreira/scala-js-fiddle
Source code for Scala.jsFiddle
hugoferreira/simpledraw-v19-live
Live Programming Session of the SimpleDraw TypeScript Implementation
hugoferreira/splurt
Systematic Literate Review Tool
hugoferreira/teste
Test repo
hugoferreira/teste-esof
teste-esof
hugoferreira/think-bayes-scala
A Scala implementation of the classes and functions used in the book "Think Bayes"
hugoferreira/tis-100-emulator
Sandboxed computer inspired in the TIS-100 game in JS/TS
hugoferreira/tis-100-solutions
My solutions (not always optimised) for the Zachtronics TIS-100 game