EugeneLoy

EugeneLoy's Stars

• puppeteer/puppeteer

  JavaScript API for Chrome and Firefox

  Language:TypeScript89.3k1.2k7k9.1k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python73.7k9101.2k6.4k

• pallets/flask

  The Python micro framework for building web applications.

  Language:Python68.5k2.1k2.7k16.2k

• soimort/you-get

  :arrow_double_down: Dumb downloader that scrapes the web

  Language:Python54.3k1.4k09.7k

• DefinitelyTyped/DefinitelyTyped

  The repository for high quality TypeScript type definitions.

  Language:TypeScript49k6418.1k30.2k

• NickeManarin/ScreenToGif

  🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.

  Language:C#24.2k3521k2.2k

• google/flexbox-layout

  Flexbox for Android

  Language:Kotlin18.3k4393361.8k

• junyanz/CycleGAN

  Software that can generate photos from paintings, turn horses into zebras, perform style transfer, and more.

  Language:Lua12.5k3871492k

• daybrush/moveable

  Moveable! Draggable! Resizable! Scalable! Rotatable! Warpable! Pinchable! Groupable! Snappable!

  Language:TypeScript10.2k761.1k630

• iSoron/uhabits

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

  Language:Kotlin8.1k139708964

• nathancahill/split

  Unopinionated utilities for resizeable split views

  Language:JavaScript6.2k73281453

• reek/anti-adblock-killer

  Anti-Adblock Killer helps you keep your Ad-Blocker active, when you visit a website and it asks you to disable.

  Language:JavaScript6k1984.3k756

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10410.1k661

• getguesstimate/guesstimate-app

  Create Fermi Estimates and Perform Monte Carlo Estimates

  Language:TypeScript2.3k56398124

• pokepetter/ursina

  A game engine powered by python and panda3d.

  Language:Python2.2k46382327

• petrovicstefanrs/30_seconds_of_knowledge

  Google Chrome Extension that lets you gain new developer skills, every time you open a New Tab.

  Language:JavaScript9593059122

• HaarigerHarald/android-youtubeExtractor

  Deprecated: Android based YouTube URL extractor and downloader

  Language:Java87860210304

• scalacenter/scalafix

  Refactoring and linting tool for Scala

  Language:Scala83628692185

• ipython/ipykernel

  IPython Kernel for Jupyter

  Language:Python65937525373

• tchajed/coq-tricks

  Tricks you wish the Coq manual told you

  Language:Coq484261420

• timdp/es6-promise-pool

  Runs Promises in a pool that limits their concurrency.

  Language:JavaScript38043119

• andrejbauer/homotopy-type-theory-course

  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

  Language:TeX2892018

• stitchfix/nodebook

  Repeatable analysis plugin for Jupyter notebook

  Language:Jupyter Notebook260941417

• siddhartha-gadgil/ProvingGround

  Proving Ground: Tools for Automated Mathematics

  Language:Jupyter Notebook2042426238

• ScarletStudy/DGS1-3DS-Release

  Release repository for the 3DS version of The Great Ace Attorney - The Adventure of Ryuunosuke Naruhodou

  163211283

• coq-community/manifesto

  Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

  68111096

• jupyter/jupyter_kernel_test

  A tool for testing Jupyter kernels

  Language:Python63184038

• ScarletStudy/DGS2-3DS-Demo

  8540

• conda-forge/coq-jupyter-feedstock

  A conda-smithy repository for coq-jupyter.

  Language:Shell1502

• EugeneLoy/coq_jupyter_demo

  Binder demo for coq_jupyter

  Language:Jupyter Notebook1200