-
Updated
Oct 18, 2020 - Go
Join GitHub (or sign in) to find projects, people, and topics catered to your interests.
Here's what's popular on GitHub today...
Game Off is our annual month-long game jam where participants create games based on a theme using their favorite game engines, libraries, and programming languages. Newbies, professional game developers, and everyone in between are welcome to join. It’s a great excuse to learn a new technology, collaborate on something over the weekends with friends, or create a game by yourself for the first time!
Git
-
Updated
Oct 17, 2020 - Assembly
-
Updated
Oct 15, 2020 - PHP
OCTO Speaker Series - Simon Peyton-Jones
November 05, 2020 • Virtual
Trying to record typing into a date field doesn't work for me, it just types on the yyyy section of the date and ends up completely invalid.
What I've had work really well was replacing await page.type(selector, '2020-08-07'); with:
await page.focus(selector);
await page.keyboard.type('20200807');Would it be within scope of the extension to recognize date inputs
This repository is getting a lot of activity for Hacktoberfest which is great to see!
One thing we need help with is filling in missing information for existing companies. This needs to be done one by one for each company by looking at their website.
This is a good first task, and if you submit 4 PRs for one company each, then you've already met the requirements for Hacktoberfest!
He
ZenHub
ZenHub is the only project management tool that integrates natively within GitHub’s user interface. No lengthy onboarding. No configuration headaches. No separate logins. Developers stay in an environment they love and Project Managers get total visibility into the development process.
Dev teams at companies like NASA, Microsoft, Adobe, Comcast, Docker, VMware, and Leap Motion trust ZenHub's powerful browser extension to help them ship better software.
-
Updated
Oct 18, 2020 - Python
-
Updated
Oct 16, 2020 - Apex
-
Updated
Oct 17, 2020 - C
-
Updated
Oct 13, 2020 - JavaScript
What would you like clarification on:
I read that Uno renders all controls in Windows style and there is an option somewhere deep in Uno to have some of the controls render in native OS style.
I believe it's crucial to be able to switch an application's (or page's) property to render controls using native styles wherever applicable (and to be able to switch back to Windows style again when
-
Updated
Oct 16, 2020
-
Updated
Oct 16, 2020 - JavaScript
-
Updated
Oct 1, 2020 - Python
-
Updated
Oct 15, 2020 - Python
The plotly plots on my macbook on Ubuntu 20.04 and pandasgui 0.2.3.2 have very tiny font. Wondering if there's a way to change this.. See pic below.
-
Updated
Oct 17, 2020 - Go
-
Updated
Oct 17, 2020
-
Updated
Jul 28, 2020
-
Updated
Oct 13, 2020 - Python
-
Updated
Oct 8, 2020 - Python
-
Updated
Oct 17, 2020 - Java
-
Updated
Oct 17, 2020 - HTML
LeanBoard
Lean Board is a collaborative whiteboard with sticky notes which seamlessly connects with your GitHub issue. Login with your GitHub account, create a board for an issue and a snapshot of your notes is embedded in the issue automatically.
Also try BackHub: Reliable GitHub repository backup, set up in minutes.

What would you like to be added: As title
Why is this needed: All pruning schedule except AGPPruner only support level, L1, L2. While there are FPGM, APoZ, MeanActivation and Taylor, it would be much better if we can choose any pruner with any pruning schedule.
**Without this feature, how does current nni