Beast code in Giters

Eugene Loy's repositories

coq_jupyter

Jupyter kernel for Coq

Language:PythonApache-2.089 4 47

awesome-github

A curated list of awesome GitHub goodies.

MIT7 3 4

play2-openshift-quickstart

Play Framework 2 quickstart for OpenShift

Language:Shell4 3 1

spring-boot-sample-data-jpa

Language:Java2 20

coq_jupyter_demo

Binder demo for coq_jupyter

Language:Jupyter NotebookApache-2.01 20

edx-dl

A simple tool to download video lectures from edx.org (and other openedx sites)

Language:HTMLLGPL-3.01 10

BidPulse

Language:ScalaMIT05 18

citus-test

Language:Dockerfile020

docker-dummy

Language:Python020

empty

000

exec4integration

Maven plugin allowing to run\terminate processes during integration testing

Language:JavaMIT02 4

jupyterlab

Demonstrating how to get JupyterLab working with Binder

Language:Jupyter NotebookBSD-3-Clause010

rust-notes

Language:Rust020

sam-ts-app

Language:TypeScript020

StackOverflowBadge

Language:ScalaMIT02 25

test

Language:CSS01 8

test2

000

tvdatafeed

A simple TradingView historical Data Downloader

Language:Jupyter NotebookMIT010

uhabits

Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits

Language:KotlinGPL-3.0010

web-template

Sharetribe Web Template - this combines the main features of older web templates

Language:JavaScriptNOASSERTION010