Search: github.com/mgth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: PolyClaude – Using math to pay less for Claude Code (github.com/ArmanJR)

1 point

3 months ago

662.

PolyClaude: Using math to pay less for Claude Code (github.com/ArmanJR)

1 point

3 months ago

663.

Prompts and responses from DeepMind's Aletheia on research level math problems (github.com/google-deepmind)

1 point

4 months ago

664.

Geneagrapher – Mathematician advisor-advisee genealogies (github.com/davidalber)

1 point

4 months ago

665.

UPT – Preventing Winner-Take-All Dynamics with Math (github.com/Join-boy555)

1 point

4 months ago

666.

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

1 point

5 months ago

667.

Show HN: Qantify – GPU-Accelerated Trading Library with Advanced Math and AutoML (github.com/Alradyin)

1 point

7 months ago

668.

TinyExpr: Parser, compiler, and evaluation engine for math expressions (github.com/codeplea)

1 point

8 months ago

669.

Nonsensical Math Paper Generator (github.com/SylvanFranklin)

1 point

8 months ago

670.

Show HN: AddVenture – a minimal, fast mental-math game (add-venture.xyz)

1 point

9 months ago

671.

Show HN: AddVenture – a minimal, fast mental-math game (add-venture.xyz)

1 point

9 months ago

672.

The Mirror Math Spell-Book: The Definitive Compendium (First Edition Preprint) [pdf] (github.com/TristenHarr)

1 point

a year ago

673.

Show HN: Simplified Markdown with macros, code and math (github.com/pedroth)

1 point

a year ago

674.

Show HN: AI Fundamentals – A textbook on AI with a math and programming approach (github.com/Fedele-AI)

1 point

a year ago

675.

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

1 point

a year ago

676.

Manim Video Generator – Mathematical Animations Using Manim, Flask, and OpenAI (github.com/rohitg00)

1 point

a year ago

677.

Quantum-Enhanced Mathematical Reasoning System – Seeking Expert Verification

1 point

a year ago

678.

Univalent foundations of mathematics in Coq (github.com/vladimirias)

1 point

14 years ago

679.

Stochastic-rs math finance/quant lib

1 point

2 years ago

680.

Manim – animation engine for explanatory math videos (github.com/3b1b)

1 point

2 years ago

681.

Use TikZ to solve a math riddle (gist.github.com)

1 point

2 years ago

682.

Mathias Lechner (github.com)

1 point

2 years ago

683.

Coding with Khan: A better way of learning math? (mindfulmatter.github.com)

1 point

14 years ago

684.

Boosting JavaScript math: Tau.js (github.com/egraether)

1 point

14 years ago

685.

Show HN: I built a small math jit compiler (github.com/vedantk)

1 point

14 years ago

686.

Nougat: Open-source LaTeX aware OCR for math-heavy books (github.com/facebookresearch)

1 point

3 years ago

687.

Handmade Math A simple math library for games and computer graphics (github.com/HandmadeMath)

1 point

3 years ago

688.

A collection of mathematical art: a 3D signed distance function dataset (github.com/tovacinni)

1 point

4 years ago

689.

A Mathematician's Lament (gist.github.com)

1 point

15 years ago

690.

Show HN: Mathematics Chalkboard with LaTeX and Markdown Support (github.com/susam)

1 point

5 years ago