Find projects

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

Laterrious/247code

adriantombu/universal-amazon-killer

Find a book in Amazon, et fetch it in a real bookstore

devvorld/devvorld.github.io

devvorld technology : builded by gatsby js

sumitghogare007/sumit

lashab/CSV-Importer

Drupal 8 module https://drupal.org/project/csv_importer

IITC-CE/ingress-intel-total-conversion

intel.ingress.com total conversion user script with some new features. Should allow easier extension of the intel map.

IITC-CE/IITC-Button

Firefox/Chrome extensions that enables IITC features

GhostyJade/ControllizerDeck

Controlizer Deck is a DIY Customizable Control Deck

RishabhSarkar/test

RishabhSarkar/Image

RishabhSarkar/kaggle