Discover @dpiponi Open Source projects

Dan Piponi (@dpiponi)

dpiponi

Stars
731
Global Rank 41,183 (Top 2 %)
Followers 458
Registered almost 15 years ago
Most used languages

Haskell
38.1 %

Python
11.9 %

TeX
9.5 %

C
7.1 %

Swift
7.1 %

Vim Script
4.8 %

HTML
4.8 %

C++
4.8 %

Jupyter Notebook
2.4 %

GLSL 2.4 %

Lean 2.4 %

Monkey C 2.4 %

Mathematica 2.4 %
Location 🇺🇸 United States
Country Total Rank 11,153
Country Ranking

Monkey C 30

Haskell
63

Lean 71

GLSL 380

TeX
380

Mathematica 630

Vim Script
1,822

Swift
2,142

C
4,135

C++
5,490

quine-central

A quine generator

Moodler

Modular softsynth

Monad-Python

A toy Python interpreter with monad comprehensions

provability

Some tools for provability logic

mini_fm

Minimal fm receiver for use with rtlsdr

Operators

Some operator abuse

SASL

A simple and educational compiler for the SASL programming language

formal-weyl

The algebra for formal power series in elements of the Weyl algebra

Stellarator

An Atari VCS 2600 emulator written in Haskell

pile

Abelian sandpiles

Legendre

Some notes on the relationship between the Legendre and Fourier transforms

caustics

infinite-quine

An infinitely long quine

Wattage

A small library for working with formal power series

pifm

Minimal FM transmitter for raspberry pi

monads

A document about monads

nano

Some tools to compute energy levels for atomic structures drawn with ACII art

Egyptian

Some materials for studying Ancient Egyptian

grafting3

forms

A short text on differential forms

photon

Something on photons

nn-fold

An experiment in combining folds and neural nets

FunctionGenerator

Minimal audio synthesis on iOS

SpellCaster

A trading card game

quora_physics

Generate physics questions for Quora

fib

Proving a large class of identities involving Fibonacci and Lucas numbers

math-vim

Some useful key bindings for mathematics

dpiponi.github.io

Can I blog on github?

LeanScratch

Messing with Lean

TextTree

lcfield

Implementation of Levi-Civita field

em

A document that helps motivate one of the steps in deriving Expectation-Maximisation

Rings

euler

Testing out target counting algorithms using Euler numbers

Sport

How likely is it that team A beat team B?

Jupyter Notebook

hott-reloaded

My scratchpad while working through Homotopy Type Theory

ActiveRecall

iOS Flash Card App

pyvolcafm

This will eventually become a small library for working with Volca FM/DX7 patches.

Grogulator

A simple Garmin watch face for the Forerunner 55

Scrapbook

Scrapbook. With scraps.

Agda-Snippets

Proofs I write while teaching myself Agda

LitterBox

A wee Haskell app to provide a local sandbox a bit like ShaderToy

Epicycle

Private for the moment

emu6502

6502 Emulation experiments

vim-bits

Bits and pieces from my .vimrc

SketchBox

Combinatorial

Combinatorial library derived from http://blog.sigfpe.com/2007/11/small-combinatorial-library.html