There are no reviews yet. Be the first to send feedback to the community and the maintainers!
quine-central
A quine generatorMoodler
Modular softsynthMonad-Python
A toy Python interpreter with monad comprehensionsprovability
Some tools for provability logicmini_fm
Minimal fm receiver for use with rtlsdrOperators
Some operator abuseSASL
A simple and educational compiler for the SASL programming languageformal-weyl
The algebra for formal power series in elements of the Weyl algebraStellarator
An Atari VCS 2600 emulator written in Haskellpile
Abelian sandpilesLegendre
Some notes on the relationship between the Legendre and Fourier transformsinfinite-quine
An infinitely long quineWattage
A small library for working with formal power seriespifm
Minimal FM transmitter for raspberry pimonads
A document about monadsnano
Some tools to compute energy levels for atomic structures drawn with ACII artEgyptian
Some materials for studying Ancient Egyptiangrafting3
forms
A short text on differential formsphoton
Something on photonsnn-fold
An experiment in combining folds and neural netsFunctionGenerator
Minimal audio synthesis on iOSSpellCaster
A trading card gamequora_physics
Generate physics questions for Quorafib
Proving a large class of identities involving Fibonacci and Lucas numbersmath-vim
Some useful key bindings for mathematicsdpiponi.github.io
Can I blog on github?LeanScratch
Messing with LeanTextTree
lcfield
Implementation of Levi-Civita fieldem
A document that helps motivate one of the steps in deriving Expectation-MaximisationRings
euler
Testing out target counting algorithms using Euler numbersSport
How likely is it that team A beat team B?hott-reloaded
My scratchpad while working through Homotopy Type TheoryActiveRecall
iOS Flash Card Apppyvolcafm
This will eventually become a small library for working with Volca FM/DX7 patches.Grogulator
A simple Garmin watch face for the Forerunner 55Scrapbook
Scrapbook. With scraps.Agda-Snippets
Proofs I write while teaching myself AgdaLitterBox
A wee Haskell app to provide a local sandbox a bit like ShaderToyEpicycle
Private for the momentemu6502
6502 Emulation experimentsvim-bits
Bits and pieces from my .vimrcSketchBox
Combinatorial
Combinatorial library derived from http://blog.sigfpe.com/2007/11/small-combinatorial-library.htmlLove Open Source and this site? Check out how you can help us