Giters
Simon Beaumont (sebeaumont)

sebeaumont

Geek Repo

19

followers

6

following

18

stars

Company:Island Instruments

Location:England

Github PK Tool:Github PK Tool

Simon Beaumont's repositories

myplta

Oh my Agda my Agda!

Stargazers:2Issues:1Issues:0

eatpie

Some Pie code from following the Little Typer

Stargazers:1Issues:1Issues:0

GDL2eFlux

Examples from David Foster's Generative Deep Learning (2nd. Edition) - Julia Flux version

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:1Issues:1Issues:1

org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Language:Emacs LispStargazers:1Issues:0Issues:0

pie-hs

An implementation of Pie in Haskell

Language:HaskellLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

site-lisp

Local elisp hacks

Language:Emacs LispStargazers:1Issues:2Issues:0

smalltt

Demo for high-performance type theory elaboration

Language:LeanLicense:MITStargazers:1Issues:0Issues:0

zoobits

Indexed monads linear types and stuff (inspired by Qimaera) some Idris and Haskell bits

Language:IdrisLicense:NOASSERTIONStargazers:1Issues:1Issues:0

agda-language-server

Language Server for Agda

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

agda2hs

Compiling Agda code to readable Haskell

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

Qimaera

Idris libraries for hybrid classical-quantum programming

Language:IdrisLicense:MITStargazers:0Issues:0Issues:0

trinity

Materials for learning and teaching the trinity

Language:HaskellStargazers:0Issues:1Issues:0

attott

Learning TT for instruction and great good

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

compdata

Haskell library implementing "Data Types a la Carte"

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

csound-floss

The Csound FLOSS Manual

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:0Issues:0Issues:0

deep-shallow-paper

Code from: Josef Svenningsson, Emil Axelsson - Combining Deep and Shallow Embedding of Domain-Specific Languages

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

epie

Cloned from https://codeberg.org/jao/eipie.git

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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.

License:Apache-2.0Stargazers:0Issues:0Issues:0

HieDb

Generates a references DB from .hie files

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

hypertypes

Hypertypes - generic programming for heterogeneous recursive types

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

License:GPL-3.0Stargazers:0Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

indras

Some of the goodness from Indra's Pearls just to keep me playful and sane

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

omega

The final SDM project

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:5

org-tree-slide

A presentation tool for org-mode based on the visibility of outline trees

License:GPL-3.0Stargazers:0Issues:0Issues:0

rhine

Haskell Functional Reactive Programming framework with type-level clocks

Language:HaskellStargazers:0Issues:0Issues:0

scripts

Scripts that do routine tasks.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

TheHoTTGame

Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT

Language:AgdaStargazers:0Issues:0Issues:0

Tidal

Pattern language

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

yi

The Haskell-Scriptable Editor

Language:HaskellLicense:GPL-2.0Stargazers:0Issues:0Issues:0