Search: github.com/teorth | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Terence Tao: AI contributions to Erdős problems

github.com/teorth

6 months ago

4 points

2.

A mathematical proof assistant (v2)

github.com/teorth

a year ago

4 points

3.

Terence Tao: A collection of optimization problems in mathematics

github.com/teorth

5 months ago

3 points

4.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

3 points

5.

Equational Theories Project

github.com/teorth

2 years ago

3 points

6.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

2 points

7.

Project to map out the relation between different equational theories of Magmas

github.com/teorth

2 years ago

2 points

8.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

1 points

9.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

1 points

10.

Terence Tao's list of AI contributions to Erdős problems

github.com/teorth

5 months ago

1 points

11.

Just: A Command Runner

github.com/casey

3 years ago

482 points

12.

Lazygit: A simple terminal UI for Git commands

github.com/jesseduffield

5 years ago

395 points

13.

VisBug: Brings design tool interactions and hotkeys to the browser

github.com/GoogleChromeLabs

8 years ago

56 points

14.

Sometimes They Say Yes

github.com/readme

4 years ago

13 points

15.

Release yarn v2 under a different name

github.com/yarnpkg

6 years ago

11 points

16.

JQuery URL parser

github.com/tombonner

14 years ago

5 points

17.

Accelerated Mobile Pages Project

github.com/ampproject

11 years ago

2 points

18.

Standardized JSON API to indicate downtime for apps and services

github.com/madrobby

13 years ago

2 points

19.

Concierge: A Node.js-based Universal Client for RESTful APIs

github.com/newclarity

14 years ago

1 points

20.

Software U2F authenticator for macOS

github.com/github

9 years ago

1 points