sebeaumont
Information scientist, mathematician and programmer. Engaged with functional languages, machine learning, hardware, sound design and engineering.
Island InstrumentsEngland
Pinned Repositories
blueflow
Navigation as experienced by the boat
eatpie
Some Pie code from following the Little Typer
fruit
Tokenizers and trainers
GDL2eFlux
Examples from David Foster's Generative Deep Learning (2nd. Edition) - Julia Flux version
myplta
Oh my Agda my Agda!
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
pie-hs
An implementation of Pie in Haskell
Qimaera
Idris libraries for hybrid classical-quantum programming
site-lisp
Local elisp hacks
trinity
Materials for learning and teaching the trinity
sebeaumont's Repositories
sebeaumont/myplta
Oh my Agda my Agda!
sebeaumont/eatpie
Some Pie code from following the Little Typer
sebeaumont/GDL2eFlux
Examples from David Foster's Generative Deep Learning (2nd. Edition) - Julia Flux version
sebeaumont/org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
sebeaumont/pie-hs
An implementation of Pie in Haskell
sebeaumont/site-lisp
Local elisp hacks
sebeaumont/smalltt
Demo for high-performance type theory elaboration
sebeaumont/zoobits
Indexed monads linear types and stuff (inspired by Qimaera) some Idris and Haskell bits
sebeaumont/agda-language-server
Language Server for Agda
sebeaumont/agda2hs
Compiling Agda code to readable Haskell
sebeaumont/Qimaera
Idris libraries for hybrid classical-quantum programming
sebeaumont/trinity
Materials for learning and teaching the trinity
sebeaumont/attott
Learning TT for instruction and great good
sebeaumont/compdata
Haskell library implementing "Data Types a la Carte"
sebeaumont/csound-floss
The Csound FLOSS Manual
sebeaumont/deep-shallow-paper
Code from: Josef Svenningsson, Emil Axelsson - Combining Deep and Shallow Embedding of Domain-Specific Languages
sebeaumont/epie
Cloned from https://codeberg.org/jao/eipie.git
sebeaumont/Generative_Deep_Learning_2nd_Edition
The official code repository for the second edition of the O'Reilly book Generative Deep Learning: Teaching Machines to Paint, Write, Compose and Play.
sebeaumont/HieDb
Generates a references DB from .hie files
sebeaumont/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
sebeaumont/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
sebeaumont/Idris2
A purely functional programming language with first class types
sebeaumont/indras
Some of the goodness from Indra's Pearls just to keep me playful and sane
sebeaumont/omega
The final SDM project
sebeaumont/org-tree-slide
A presentation tool for org-mode based on the visibility of outline trees
sebeaumont/rhine
Haskell Functional Reactive Programming framework with type-level clocks
sebeaumont/scripts
Scripts that do routine tasks.
sebeaumont/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
sebeaumont/Tidal
Pattern language
sebeaumont/yi
The Haskell-Scriptable Editor