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 sandpilescaustics
infinite-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