Find projects

panki/15-puzzle

15 puzzle game

enjoysmath/PyQtcumber

A simple library for handling your graphical editor needs. Supports pickling even of signals / slots using dill.

enjoysmath/BananaCats

BananaCats is a diagram editor & chaser for students of category theory.

enjoysmath/WhatShouldWeNameTheRepoHmmmQuestionMark

Math / Category Explorer (See: http://math.stackexchange.com/questions/788318/the-category-of-small-categories-a-zoo-of-functors)

enjoysmath/AssistiveDiagramChaser

A python 3.6 / PyQt5 based application that assists you as a mathematician in editing diagrams and occasionally in forming proofs.

enjoysmath/Pegged

A Parsing Expression Grammar (PEG) module, using the D programming language.

enjoysmath/LDC

LDC compiler suite

enjoysmath/NimLime

Super Nim Plugin for Sublime Text 2/3

enjoysmath/PyQt2D

A small, simple, extensible library for handling much of the task of creating 2D editor in PyQt5.

enjoysmath/lean

Lean Theorem Prover

enjoysmath/opengl

enjoysmath/orange3

🍊 :bar_chart: :bulb: Orange: Interactive data analysis https://orange.biolab.si

enjoysmath/nim-glfw

A GLFW 3 wrapper for Nim

enjoysmath/latexpp

A C++ LaTeX generator

enjoysmath/orange

A serialization library for the D programming language.

enjoysmath/SDLang-D

An SDL (Simple Declarative Language) library for D

enjoysmath/grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

enjoysmath/opengl-sandbox

just a macro that generates the fuzz you need to deal with OpenGL