Search: github.com/Axinom | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Gilfoyle – Empirical RCA across observability tools (github.com/axiomhq)

2 points

4 months ago

32.

Show HN: A deterministic physics kernel for Industrial AI (0 violations vs. 59) (github.com/chachamwise)

2 points

5 months ago

33.

Axiom: Decentralized AI network that discovers, verifies, and archives truth (github.com/ArtisticIntentionz)

2 points

10 months ago

34.

Ble.sh – Syntax highlighting like fish for bash readline and more (github.com/akinomyoga)

2 points

5 years ago

35.

Ble.sh: A Bash Line Editor with syntax highlighting and auto suggestions (github.com/akinomyoga)

2 points

6 years ago

36.

Ble.sh – Bash config with syntax highlighting, auto suggestions, vim modes, etc. (github.com/akinomyoga)

2 points

6 years ago

37.

ble.sh: Bash Line Editor (github.com/akinomyoga)

2 points

6 years ago

38.

Show HN: Mojo Implementation of HyperLogLog for Efficient Cardinality Estimation (github.com/axiomhq)

1 point

a year ago

39.

AxiomOS An AI system where agents generate and evolve under an Overseer (github.com/Linutesto)

1 point

a year ago

40.

Project Axiom: dynamic infra toolkit for red teamers and bug bounty hunters (github.com/pry0cc)

1 point

6 years ago

41.

Claude Code skills for modern xOS (iOS, iPadOS, watchOS, tvOS) development (github.com/CharlesWiltgen)

1 point

3 months ago

42.

Show HN: Axiom SQL-Reflex – Execution-aware multi-agent Text-to-SQL system (github.com/dspraneeth07)

1 point

4 months ago

43.

Single prompt to Gemini to 6M parameters model (github.com/javantanna)

1 point

6 months ago

44.

Ble.sh: Bash Line Editor with syntax highlighting, auto suggestions, Vim modes (github.com/akinomyoga)

1 point

9 months ago

45.

Axiom: It's like Sinatra, but for Erlang (github.com/tsujigiri)

1 point

14 years ago

46.

Show HN: My take on a "Sinatra for Erlang" (github.com/tsujigiri)

1 point

14 years ago

47.

KNN Library for Node.js, Comparing JSON Objects Using Euclidean Distances (github.com/axiomzen)

1 point

7 years ago

48.

React Axiom: a way to use models with React (github.com/wgoto)

3 points

10 years ago

49.

Show HN: I built a <400ms latency voice agent that runs on a 4gb vram GTX 1650" (github.com/pheonix-delta)

2 points

4 months ago

50.

Show HN: Infinity Equilibrium Protocol – AI alignment logic framework (github.com/Globy74)

2 points

3 months ago

51.

We built a tiny invariant layer that preserves meaning when embeddings fail (github.com/Architect-Flow78)

1 point

4 months ago

52.

Axiom-X: A GPU-Accelerated Evolutionary Engine (github.com/BMV-AI)

1 point

6 months ago

53.

Show HN: Prompt-Compose.js Use Axioms and Compositions to Build Modular Prompts (github.com/anubhavgupta)

6 points

3 years ago

54.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

55.

Sortcheck: Tool for detecting violations of ordering axioms in qsort/bsearch ca (github.com/yugr)

2 points

a year ago

56.

Axonometric, Isometric and Dimetric Projection Convertor for Inkscape (github.com/jdhoek)

2 points

4 years ago

57.

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama) (github.com/DynamicCSharp)

1 point

4 months ago

58.

Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com/matthew-scherf)

1 point

6 months ago

59.

Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy)

1 point

3 years ago

60.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall" (github.com/deramazesaa-web)

7 points

5 months ago