Find projects

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/PyQt2D

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

enjoysmath/lean

Lean Theorem Prover

enjoysmath/NimLime

Super Nim Plugin for Sublime Text 2/3

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/grammars-v4

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

enjoysmath/SDLang-D

An SDL (Simple Declarative Language) library for D

enjoysmath/opengl-sandbox

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

enjoysmath/mathlib

Lean mathematical components library

enjoysmath/sdl2

Nim wrapper for SDL 2.x

enjoysmath/vscode-lean

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

enjoysmath/pyqt_pickle

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