Search: github.com/erdos | 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.

Show HN: A Clojure interpreter compiled with native-image

github.com/erdos

4 years ago

4 points

3.

Show HN: Erdös Problem Solver Agent

github.com/demirbey05

2 months ago

3 points

4.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

3 points

5.

Lazy-Seq Generator in Clojure

github.com/erdos

6 years ago

3 points

6.

Show HN: A templating engine for *.docx files (written in Clojure)

github.com/erdos

8 years ago

2 points

7.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

2 points

8.

Show HN: Class file disassembler written in Clojure

github.com/erdos

7 years ago

2 points

9.

Erdos is a very light and modular Graph theoretic algorithms framework for Java

github.com/Erdos-Graph-Framework

9 years ago

2 points

10.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

1 points

11.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

1 points

12.

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

github.com/teorth

5 months ago

1 points

13.

Show HN: Power Assertions for Clojure (as seen in Groovy)

github.com/erdos

7 years ago

1 points

14.

Show HN: Erdos – open-source, AI data science IDE

8 months ago

86 points

15.

GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians

github.com/neelsomani

5 months ago

1 points

16.

Lean 4 formalization of Erdős Problem #848 – seeking review

github.com/The-Obstacle-Is-The-Way

5 months ago

vibecodermcswag

1 points

17.

Near 10M primes/second: Erdős-Selfridge categorization in C

gist.github.com

10 months ago

1 points

18.

Show HN: ExDOS 64-bit version source code release

10 years ago

39 points

19.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms

github.com/realadeel

4 months ago

3 points

20.

Show HN: Erdus – Universal ERD Converter (SQL, Prisma, JSON Schema)

github.com/tobiager

10 months ago

1 points

21.

Show HN: Chime, Take a Break (Open source)

6 years ago

1 points

22.

Show HN: Eidos – Offline alternative to Notion

github.com/mayneyao

2 years ago

276 points

23.

Marketing for Founders

github.com/EdoStra

3 months ago

234 points

24.

No Audience? No Budget? This GitHub Repo Will Help You Get Your First Users

github.com/EdoStra

a year ago

2 points

25.

Product Marketing for Founders

github.com/EdoStra

a year ago

2 points

26.

Show HN: I forget things when I date people, so I built a local AI memory stuff

github.com/niranjanorkat

a year ago

1 points

27.

Erdo: A new Java key/value store

github.com/geophile

13 years ago

1 points

28.

Show HN: CLI search tool for maven central

github.com/erosb

6 years ago

1 points

29.

Show HN: Pwned4android – Android lib to check passwords with haveibeenpwned.com

github.com/erdo

8 years ago

1 points

30.

[eros] – We can use Vue to develop an app without reactnative

github.com/bmfe

8 years ago

1 points