Search: github.com/axiomhq | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

2 points

a year ago

32.

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

1 point

4 months ago

33.

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

1 point

6 months ago

34.

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

1 point

3 years ago

35.

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

7 points

5 months ago

36.

Toward a new mathematical theory of computation.

5 points

17 years ago

37.

Show HN: Physics from "I am": a recursive model that works? (github.com/ktynski)

4 points

10 months ago

38.

Show HN: We made a VS Code extension to recreate a debugger experience from logs (marketplace.visualstudio.com)

3 points

a year ago

39.

Show HN: Linkitall – create dependency-graphs of ideas (github.com/charstorm)

3 points

3 years ago

40.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

2 points

5 months ago

41.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 points

a month ago

42.

Show HN: I wrote a toy proof assistent (github.com/chrisd1977)

2 points

2 years ago

43.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems (github.com/jzkool)

1 point

hiddenarchitect

4 months ago

44.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

1 point

7 years ago

45.

Show HN: Cursor Agent Factory – 5-layer architecture for AI agent systems (github.com/gitwalter)

1 point

4 months ago

46.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

4 months ago

47.

GitHub – nushell/nushell: A new type of shell (github.com/nushell)

763 points

5 years ago

48.

Docker-OSX: Run macOS VM in a Docker (github.com/sickcodes)

458 points

3 years ago

49.

A pure JavaScript implementation of Git for Node and browsers (github.com/isomorphic-git)

381 points

8 years ago

50.

Learning operating system development using Linux kernel and Raspberry Pi (github.com/s-matyukevich)

368 points

8 years ago

51.

Fermented Chili “Open Sauce” – My most starred repo has no code in it (github.com/aweijnitz)

367 points

4 years ago

52.

OSSU: Path to a free, self-taught education in computer science (github.com/ossu)

322 points

5 years ago

53.

Osx-kvm: Run macOS on QEMU/KVM (github.com/kholia)

299 points

8 years ago

54.

SpiderFoot: OSINT collection and reconnaissance tool (github.com/smicallef)

272 points

6 years ago

55.

Yuzu: Nintendo Switch Emulator (github.com/yuzu-emu)

227 points

4 years ago

56.

NvChad: An attempt to make Neovim TUI as functional as an IDE (github.com/NvChad)

173 points

5 years ago

57.

Mocking Bird – Realtime Voice Clone for Chinese (github.com/babysor)

163 points

4 years ago

58.

Inori/GPCS4: A Playstation 4 emulator just begin (github.com/Inori)

159 points

6 years ago

59.

Mind-expanding books (github.com/hackerkid)

119 points

4 years ago

60.

A collection of various lists for hackers, pentesters and security researchers (github.com/Hack-with-Github)

112 points

6 years ago