Pinned Repositories
awesome-github
A curated list of awesome GitHub goodies.
coq_jupyter
Jupyter kernel for Coq
coq_jupyter_demo
Binder demo for coq_jupyter
edx-dl
A simple tool to download video lectures from edx.org (and other openedx sites)
play2-openshift-quickstart
Play Framework 2 quickstart for OpenShift
remote-arduino-lab
Building Remote Arduino Lab
spring-boot-sample-data-jpa
EugeneLoy's Repositories
EugeneLoy/coq_jupyter
Jupyter kernel for Coq
EugeneLoy/awesome-github
A curated list of awesome GitHub goodies.
EugeneLoy/play2-openshift-quickstart
Play Framework 2 quickstart for OpenShift
EugeneLoy/spring-boot-sample-data-jpa
EugeneLoy/coq_jupyter_demo
Binder demo for coq_jupyter
EugeneLoy/edx-dl
A simple tool to download video lectures from edx.org (and other openedx sites)
EugeneLoy/remote-arduino-lab
Building Remote Arduino Lab
EugeneLoy/BidPulse
EugeneLoy/citus-test
EugeneLoy/codespaces-blank
EugeneLoy/docker-dummy
EugeneLoy/empty
EugeneLoy/exec4integration
Maven plugin allowing to run\terminate processes during integration testing
EugeneLoy/jupyterlab
Demonstrating how to get JupyterLab working with Binder
EugeneLoy/manim-devcontainer
A devcontainer to get started coding with manim quickly and easily.
EugeneLoy/RobustPhotometricStereo
Robust Photometric Stereo
EugeneLoy/rust-notes
EugeneLoy/sam-ts-app
EugeneLoy/StackOverflowBadge
EugeneLoy/test
EugeneLoy/test2
EugeneLoy/tvdatafeed
A simple TradingView historical Data Downloader
EugeneLoy/uhabits
Loop Habit Tracker, a mobile app for creating and maintaining long-term positive habits
EugeneLoy/web-template
Sharetribe Web Template - this combines the main features of older web templates