dpiponi

Dan Piponi's repositories

quine-central

A quine generator

Language:Haskell314 11 2

Monad-Python

A toy Python interpreter with monad comprehensions

Language:Python54 50

mini_fm

Minimal fm receiver for use with rtlsdr

Language:C++29 60

Stellarator

An Atari VCS 2600 emulator written in Haskell

Language:HaskellBSD-3-Clause18 40

pile

Abelian sandpiles

Language:Swift15 30

Legendre

Some notes on the relationship between the Legendre and Fourier transforms

Language:TeX11 50

StableBlog

More stable versions of some articles from my blog

Language:Haskell10 20

caustics

Language:Python9 20

infinite-quine

An infinitely long quine

Language:Haskell8 30

Wattage

A small library for working with formal power series

Language:HaskellBSD-3-Clause8 30

Egyptian

Some materials for studying Ancient Egyptian

Language:Python7 30

TextTree

Using LLMs to explore other ways literature could have been written

500

fib

Proving a large class of identities involving Fibonacci and Lucas numbers

Language:Haskell400

dpiponi.github.io

Can I blog on github?

Language:HTML3 40

lcfield

Implementation of Levi-Civita field

Language:Haskell300

LeanScratch

Messing with Lean

Language:Lean3 30

math-vim

Some useful key bindings for mathematics

Language:Vim Script3 30

ActiveRecall

iOS Flash Card App

Language:Jupyter Notebook200

colabs

Some colabs

Language:Jupyter Notebook2 20

Rings

Language:C++2 20

Sport

How likely is it that team A beat team B?

Language:Jupyter Notebook2 30

Grogulator

A simple Garmin watch face for the Forerunner 55

Language:Monkey C1 20

Personal

100

Scrapbook

Scrapbook. With scraps.

Language:Mathematica1 30

SketchBox

Language:HaskellBSD-3-Clause1 30

vim-bits

Bits and pieces from my .vimrc

Language:Vim Script1 20

Alcator

Language:HaskellNOASSERTION020

jax

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Language:PythonApache-2.0020

logue-sdk

This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.

Language:CBSD-3-Clause020

streamlit_app

Streamlist test

Language:Python030