Search: github.com/mgth | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: Use math to track distributed progress without a central coordinator

github.com/trickle-labs

6 days ago

1 points

662.

Tax, optimization math for equity comp your AI assistant can call (MCP, no auth)

github.com/AlvisoOculus

14 days ago

1 points

663.

Using binary trees to generate random, solvable mathematical expressions.

github.com/shoffing

14 years ago

1 points

664.

Spec-Driven Development with math-glyph compression

github.com/kborovik

a month ago

1 points

665.

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points

666.

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

github.com/yamafaktory

2 months ago

1 points

667.

Show HN: Auditor Core–CLI security auditing engine with mathematical SPI scoring

github.com/auditor-core-systems

3 months ago

1 points

668.

Show HN: PolyClaude – Using math to pay less for Claude Code

github.com/ArmanJR

4 months ago

1 points

669.

PolyClaude: Using math to pay less for Claude Code

github.com/ArmanJR

4 months ago

1 points

670.

Prompts and responses from DeepMind's Aletheia on research level math problems

github.com/google-deepmind

4 months ago

1 points

671.

Geneagrapher – Mathematician advisor-advisee genealogies

github.com/davidalber

5 months ago

1 points

672.

UPT – Preventing Winner-Take-All Dynamics with Math

github.com/Join-boy555

5 months ago

1 points

673.

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

5 months ago

1 points

674.

Show HN: Qantify – GPU-Accelerated Trading Library with Advanced Math and AutoML

github.com/Alradyin

7 months ago

1 points

675.

TinyExpr: Parser, compiler, and evaluation engine for math expressions

github.com/codeplea

8 months ago

1 points

676.

Nonsensical Math Paper Generator

github.com/SylvanFranklin

9 months ago

1 points

677.

Show HN: AddVenture – a minimal, fast mental-math game

add-venture.xyz

10 months ago

1 points

678.

Show HN: AddVenture – a minimal, fast mental-math game

add-venture.xyz

10 months ago

1 points

679.

The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf]

github.com/TristenHarr

a year ago

1 points

680.

Show HN: Simplified Markdown with macros, code and math

github.com/pedroth

a year ago

1 points

681.

Show HN: AI Fundamentals – A textbook on AI with a math and programming approach

github.com/Fedele-AI

a year ago

1 points

682.

Show HN: Finite math system for programmers (human+AI made)

a year ago

1 points

683.

Manim Video Generator – Mathematical Animations Using Manim, Flask, and OpenAI

github.com/rohitg00

a year ago

1 points

684.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

a year ago

1 points

685.

Univalent foundations of mathematics in Coq

github.com/vladimirias

14 years ago

1 points

686.

Stochastic-rs math finance/quant lib

2 years ago

1 points

687.

Manim – animation engine for explanatory math videos

github.com/3b1b

2 years ago

1 points

688.

Use TikZ to solve a math riddle

gist.github.com

2 years ago

1 points

689.

Mathias Lechner

2 years ago

1 points

690.

Coding with Khan: A better way of learning math?

mindfulmatter.github.com

14 years ago

1 points