Search: github.com/teorth | Heykuki News

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)

4 points

5 months ago

2.

A mathematical proof assistant (v2) (github.com/teorth)

4 points

a year ago

3.

Terence Tao: A collection of optimization problems in mathematics (github.com/teorth)

3 points

4 months ago

4.

AI Contributions to Erdős Problems (github.com/teorth)

3 points

5 months ago

5.

Equational Theories Project (github.com/teorth)

3 points

2 years ago

6.

AI Contributions to Erdős Problems (github.com/teorth)

2 points

5 months ago

7.

Project to map out the relation between different equational theories of Magmas (github.com/teorth)

2 points

2 years ago

8.

AI Contributions to Erdős Problems (github.com/teorth)

1 point

5 months ago

9.

AI Contributions to Erdős Problems (github.com/teorth)

1 point

5 months ago

10.

Terence Tao's list of AI contributions to Erdős problems (github.com/teorth)

1 point

5 months ago

11.

Just: A Command Runner (github.com/casey)

482 points

3 years ago

12.

Lazygit: A simple terminal UI for Git commands (github.com/jesseduffield)

395 points

5 years ago

13.

VisBug: Brings design tool interactions and hotkeys to the browser (github.com/GoogleChromeLabs)

56 points

8 years ago

14.

Sometimes They Say Yes (github.com/readme)

13 points

4 years ago

15.

Release yarn v2 under a different name (github.com/yarnpkg)

11 points

6 years ago

16.

JQuery URL parser (github.com/tombonner)

5 points

14 years ago

17.

Accelerated Mobile Pages Project (github.com/ampproject)

2 points

11 years ago

18.

Standardized JSON API to indicate downtime for apps and services (github.com/madrobby)

2 points

13 years ago

19.

Concierge: A Node.js-based Universal Client for RESTful APIs (github.com/newclarity)

1 point

14 years ago

20.

Software U2F authenticator for macOS (github.com/github)

1 point

9 years ago