• Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Python
  • Created over 8 years ago
  • Updated about 3 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

quine-central

A quine generator
Haskell
314
star
2

Moodler

Modular softsynth
Haskell
62
star
3

Monad-Python

A toy Python interpreter with monad comprehensions
Python
54
star
4

provability

Some tools for provability logic
Haskell
31
star
5

mini_fm

Minimal fm receiver for use with rtlsdr
C++
28
star
6

Operators

Some operator abuse
TeX
28
star
7

SASL

A simple and educational compiler for the SASL programming language
C
22
star
8

formal-weyl

The algebra for formal power series in elements of the Weyl algebra
Haskell
18
star
9

Stellarator

An Atari VCS 2600 emulator written in Haskell
Haskell
17
star
10

pile

Abelian sandpiles
Swift
15
star
11

Legendre

Some notes on the relationship between the Legendre and Fourier transforms
TeX
8
star
12

infinite-quine

An infinitely long quine
Haskell
8
star
13

Wattage

A small library for working with formal power series
Haskell
8
star
14

pifm

Minimal FM transmitter for raspberry pi
C
7
star
15

monads

A document about monads
Haskell
7
star
16

nano

Some tools to compute energy levels for atomic structures drawn with ACII art
Python
7
star
17

Egyptian

Some materials for studying Ancient Egyptian
Python
7
star
18

grafting3

TeX
6
star
19

forms

A short text on differential forms
6
star
20

photon

Something on photons
TeX
6
star
21

nn-fold

An experiment in combining folds and neural nets
Haskell
6
star
22

FunctionGenerator

Minimal audio synthesis on iOS
Swift
5
star
23

SpellCaster

A trading card game
C
5
star
24

quora_physics

Generate physics questions for Quora
HTML
4
star
25

fib

Proving a large class of identities involving Fibonacci and Lucas numbers
Haskell
4
star
26

math-vim

Some useful key bindings for mathematics
Vim Script
3
star
27

dpiponi.github.io

Can I blog on github?
HTML
3
star
28

LeanScratch

Messing with Lean
Lean
3
star
29

TextTree

3
star
30

lcfield

Implementation of Levi-Civita field
Haskell
3
star
31

em

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

Rings

C++
2
star
33

euler

Testing out target counting algorithms using Euler numbers
Haskell
2
star
34

Sport

How likely is it that team A beat team B?
Jupyter Notebook
2
star
35

hott-reloaded

My scratchpad while working through Homotopy Type Theory
2
star
36

ActiveRecall

iOS Flash Card App
Swift
2
star
37

pyvolcafm

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

Grogulator

A simple Garmin watch face for the Forerunner 55
Monkey C
1
star
39

Scrapbook

Scrapbook. With scraps.
Mathematica
1
star
40

Agda-Snippets

Proofs I write while teaching myself Agda
1
star
41

LitterBox

A wee Haskell app to provide a local sandbox a bit like ShaderToy
GLSL
1
star
42

Epicycle

Private for the moment
Haskell
1
star
43

emu6502

6502 Emulation experiments
Haskell
1
star
44

vim-bits

Bits and pieces from my .vimrc
Vim Script
1
star
45

SketchBox

Haskell
1
star
46

Combinatorial

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