Search: github.com/erdo | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

6 years ago

1 points

2.

Terence Tao: AI contributions to Erdős problems

github.com/teorth

6 months ago

4 points

3.

Show HN: A Clojure interpreter compiled with native-image

github.com/erdos

4 years ago

4 points

4.

Show HN: Erdös Problem Solver Agent

github.com/demirbey05

2 months ago

3 points

5.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

3 points

6.

Lazy-Seq Generator in Clojure

github.com/erdos

6 years ago

3 points

7.

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

github.com/erdos

8 years ago

2 points

8.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

2 points

9.

Show HN: Class file disassembler written in Clojure

github.com/erdos

7 years ago

2 points

10.

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

github.com/Erdos-Graph-Framework

9 years ago

2 points

11.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

1 points

12.

Erdo: A new Java key/value store

github.com/geophile

13 years ago

1 points

13.

AI Contributions to Erdős Problems

github.com/teorth

5 months ago

1 points

14.

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

github.com/teorth

5 months ago

1 points

15.

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

github.com/erdos

7 years ago

1 points

16.

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

github.com/erdo

8 years ago

1 points

17.

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

8 months ago

86 points

18.

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

github.com/neelsomani

5 months ago

1 points

19.

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

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

5 months ago

vibecodermcswag

1 points

20.

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

gist.github.com

10 months ago

1 points

21.

Github.com/pkg/errors just got archived, I made a maintained v2 with many fixes

5 years ago

2 points

22.

Show HN: Layerform – Open-source development environments using Terraform files

github.com/ergomake

3 years ago

124 points

23.

Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C

errorcodezero.dev

a year ago

50 points

24.

Show HN: ExDOS 64-bit version source code release

10 years ago

39 points

25.

Show HN: Is this the perfect 404 page? [CSS only]

github.com/AntiKippi

5 months ago

8 points

26.

Show HN: edotool (X11/Wayland)

5 years ago

5 points

27.

ASK HN: TD Ameritrade has an Trading API

8 years ago

5 points

28.

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

github.com/realadeel

4 months ago

3 points

29.

Show HN: A Security-First Web Server in C with XSS, SQL Injection Protection

github.com/erson

2 years ago

3 points

30.

Show HN: Rover a Manager for Coding Agents

8 months ago

2 points