sebeaumont
Information scientist, mathematician and programmer. Obsessed with functional languages, machine learning, types and proof.
Vectis VerificationEngland
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
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
site-lisp
Local elisp hacks
smalltt
Demo for high-performance type theory elaboration
TPIL
Personal notes and solutions to TPIL examples
trinity
Materials for learning and teaching the trinity
sebeaumont's Repositories
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/Qimaera
Idris libraries for hybrid classical-quantum programming
sebeaumont/TPIL
Personal notes and solutions to TPIL examples
sebeaumont/trinity
Materials for learning and teaching the trinity
sebeaumont/attott
Learning TT for instruction and great good
sebeaumont/csound-floss
The Csound FLOSS Manual
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/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/julia-vterm.el
A simple vterm-based mode for an inferior Julia REPL process in Emacs
sebeaumont/jupyter
An interface to communicate with Jupyter kernels.
sebeaumont/lean4-mode
Emacs major mode for Lean 4
sebeaumont/mathlib4
The math library of Lean 4
sebeaumont/ob-julia-vterm.el
Org-babel support for Julia code blocks using julia-vterm
sebeaumont/ob-penrose
Emacs org babel package for beautiful mathematical diagrams https://github.com/penrose/penrose
sebeaumont/org-lean-mode
Org/Lean4 polymode
sebeaumont/Papers
Papers and longer form articles and books of interest
sebeaumont/polymode
Framework for Multiple Major Modes in Emacs (core library)
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