dpiponi

Using an IBM Port-a-Punch I wrote my first program in Fortran in around 1978.

San Anselmo, CA, USA

Pinned Repositories

colabs
Some colabs
Language:Jupyter Notebook3 2 00
Legendre
Some notes on the relationship between the Legendre and Fourier transforms
Language:TeX11 5 00
Monad-Python
A toy Python interpreter with monad comprehensions
Language:Python54 5 04
Moodler
Modular softsynth
Language:Haskell62 9 06
Operators
Some operator abuse
Language:TeX28 6 02
pile
Abelian sandpiles
Language:Swift15 3 00
provability
Some tools for provability logic
Language:Haskell37 4 01
quine-central
A quine generator
Language:Haskell314 11 111
StableBlog
More stable versions of some articles from my blog
Language:Haskell23 2 11
TextTree
Using LLMs to explore other ways literature could have been written
5 2 00

dpiponi's Repositories

dpiponi/Monad-Python
A toy Python interpreter with monad comprehensions
Language:Python54 5 04
dpiponi/mini_fm
Minimal fm receiver for use with rtlsdr
Language:C++29 6 03
dpiponi/StableBlog
More stable versions of some articles from my blog
Language:Haskell23 2 11
dpiponi/Stellarator
An Atari VCS 2600 emulator written in Haskell
Language:Haskell18 4 01
dpiponi/pile
Abelian sandpiles
Language:Swift15 3 00
dpiponi/Legendre
Some notes on the relationship between the Legendre and Fourier transforms
Language:TeX11 5 00
dpiponi/caustics
Language:Python9 3 02
dpiponi/Wattage
A small library for working with formal power series
Language:Haskell8 3 0
dpiponi/TextTree
Using LLMs to explore other ways literature could have been written
5 2 00
dpiponi/fib
Proving a large class of identities involving Fibonacci and Lucas numbers
Language:Haskell4 2 0
dpiponi/math-vim
Some useful key bindings for mathematics
Language:Vim Script4 3 02
dpiponi/colabs
Some colabs
Language:Jupyter Notebook3 2 00
dpiponi/dpiponi.github.io
Can I blog on github?
Language:HTML3 5 01
dpiponi/lcfield
Implementation of Levi-Civita field
Language:Haskell3 2 0
dpiponi/LeanScratch
Messing with Lean
Language:Lean3 3 0
dpiponi/ActiveRecall
iOS Flash Card App
Language:Jupyter Notebook2 3 11
dpiponi/ConsistentHistories
Hidden variables in RPGs
Language:TeX2
dpiponi/generic
Write generic code by walking through fields in a C++ class
Language:C++2 1 0
dpiponi/Rings
Language:C++2 3 0
dpiponi/ChanceScript
The probability monad but in C++
Language:C++1
dpiponi/Dice
Probability monad
Language:Haskell1
dpiponi/DRMFreeKindle
A list of sources other than Amazon for books readable on the Kindle
1
dpiponi/Grogulator
A simple Garmin watch face for the Forerunner 55
Language:Monkey C1 2 0
dpiponi/Personal
1 2 0
dpiponi/Physac
2D physics header-only library for videogames developed in C using raylib library.
Language:C1
dpiponi/Scrapbook
Scrapbook. With scraps.
Language:Mathematica1 3 0
dpiponi/vim-bits
Bits and pieces from my .vimrc
Language:Vim Script1 2 0
dpiponi/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Language:Python2 0
dpiponi/logue-sdk
This repository contains all the files and tools needed to build custom oscillators and effects for the prologue synthesizer.
Language:C2 0
dpiponi/streamlit_app
Streamlist test
Language:Python3 0