enjoysmath/AssistiveDiagramChaser

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

enjoysmath/BananaCats

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

enjoysmath/LDC

LDC compiler suite

enjoysmath/NimLime

Super Nim Plugin for Sublime Text 2/3

enjoysmath/Pegged

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

enjoysmath/PyQt2D

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

enjoysmath/PyQtcumber

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

enjoysmath/SDLang-D

An SDL (Simple Declarative Language) library for D

enjoysmath/WhatShouldWeNameTheRepoHmmmQuestionMark

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

enjoysmath/coq_jupyter

Jupyter kernel for Coq

enjoysmath/grammars-v4

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

enjoysmath/latexpp

A C++ LaTeX generator

enjoysmath/lean

Lean Theorem Prover

enjoysmath/lean-rewrite-search

enjoysmath/mathlib

Lean mathematical components library

enjoysmath/nim-glfw

A GLFW 3 wrapper for Nim

enjoysmath/opengl

enjoysmath/opengl-sandbox

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

enjoysmath/orange

A serialization library for the D programming language.

enjoysmath/orange3

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

enjoysmath/pure-python-adb

This is pure-python implementation of the ADB client.

enjoysmath/pyqt_pickle

Automatically pickle any PyQt5 object attributes that have unary get/set methods.

enjoysmath/sdl2

Nim wrapper for SDL 2.x

enjoysmath/vscode-lean

An extension for VS Code which provides support for the Lean language.