Find projects

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

enjoysmath/lean-rewrite-search

enjoysmath/sdl2

Nim wrapper for SDL 2.x

enjoysmath/vscode-lean

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

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

Lean mathematical components library

enjoysmath/coq_jupyter

Jupyter kernel for Coq