sn6uv Goto Github PK

adaptive_plotting

A presentation on adaptive plot sampling

analytica

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also able to deduce correctness of certain simplification steps that would otherwise not be performed.

astlib

box-packing

Genetic algorithms to find the optimal way of positioning n equally sized squares in a larger square of fixed size.

cmathics

an experiment rewriting the core of mathics in C

debt_website

dotfiles

My .bashrc .vimrc etc

experiments

gmpy_cffi

haskell

playing with haskell

hons-finalpresentation

Final presentation of my 2013 Honours project

imathics

Jupyter Kernel for Mathics

install_tetrinet

Bash (Linux) script to install Wine x86 and TetriNET.

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

jupyter_client

Jupyter protocol client APIs

jupyter_console

Jupyter Terminal Console

llvmlite

A lightweight LLVM python binding for writing JIT compilers

matching

mathics

a general-purpose computer algebra system

mathics.github.io

mathicsbot

Mathics IRC bot

mathicsutils

minesweeper

Playing minesweeper with neural networks

molmass

Simple Python script for calculating molecular masses

nasa-apod-desktop

Automatically downloads and sets the NASA picture of the day (APOD) as your desktop in Ubuntu.

numtheory

Some basic number theory algorithms

pep8

Simple Python style checker in one Python file

pyautoit

Python binding for AutoItX3.dll

rmathics

Mathics written in RPython (an experiment)

rply

An attempt to port David Beazley's PLY to RPython, and give it a cooler API.