Name: Simon Beaumont
Type: User
Company: Island Instruments
Bio: Information scientist, mathematician and programmer. Engaged with functional languages, machine learning, hardware, sound design and engineering.
Location: England
Simon Beaumont's Projects
Language Server for Agda
Compiling Agda code to readable Haskell
:seedling: Open source ecosystem for open FPGA boards
:seedling: Apio examples
iTerm2 Colour Scheme
emacs support for the arduino-cli
Learning TT for instruction and great good
bluebox arduino device
Navigation as experienced by the boat
Haskell library implementing "Data Types a la Carte"
Fork of John Hopkins data with my own wrangling and visualisation in R
The Csound FLOSS Manual
Code from: Josef Svenningsson, Emil Axelsson - Combining Deep and Shallow Embedding of Domain-Specific Languages
blank-canvas backend
Some Pie code from following the Little Typer
Emacs major mode for Lean 4
Cloned from https://codeberg.org/jao/eipie.git
FPGA Odysseus with ULX3S
Tokenizers and trainers
Examples from David Foster's Generative Deep Learning (2nd. Edition) - Julia Flux version
The official code repository for the second edition of the O'Reilly book Generative Deep Learning: Teaching Machines to Paint, Write, Compose and Play.
Haskell library of data types and calculations for positions on planet Earth
A library for building Haskell IDE tooling
VHDL synthesis (based on ghdl)
Deep Learning in Haskell
A static website compiler library in Haskell