Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / sn6uv
Developer Profile

sn6uv

Discovered public repositories for sn6uv in the GitHub catalog.

↗

sn6uv/ipython

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

↗

sn6uv/pep8

Simple Python style checker in one Python file

↗

sn6uv/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.

↗

sn6uv/sympy

A computer algebra system written in pure Python

↗

sn6uv/nasa-apod-desktop

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

↗

sn6uv/molmass

Simple Python script for calculating molecular masses

↗

sn6uv/box-packing

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

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.