Search: github.com/mtth | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

clumsy-math: a library / system for generating and analyzing discrete rhythms (github.com/clumsycomputer)

1 point

3 years ago

302.

Haskell -ffast-math style optimizations as a library (github.com/liyang)

1 point

12 years ago

303.

MathLib: Cross-platform header-only SSE/AVX/NEON-accelerated math library (github.com/NVIDIA-RTX)

1 point

a year ago

304.

Napkin Math (github.com/sirupsen)

1 point

2 years ago

305.

Just Math – A collection of pure math demos (github.com/ramakarl)

1 point

4 years ago

306.

Show HN: A novel math library for the TypeScript community (github.com/clumsycomputer)

1 point

4 years ago

307.

cljs-math (github.com/quoll)

1 point

4 years ago

308.

Simple NODE.jS Web server for beginners (github.com/hugodias)

1 point

15 years ago

309.

Napkin Math (github.com/sirupsen)

1 point

5 years ago

310.

Terathon: C++ math library for 2D/3D/4D vector, matrix, and geometric algebra (github.com/EricLengyel)

1 point

5 years ago

311.

Show HN: An Email Newsletter Using GitHub Releases

2 points

7 years ago

312.

Show HN: Game to Practice Hexidecimal Addition (matt-savvy.github.io)

1 point

2 years ago

313.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)

231 points

6 months ago

314.

DeepSeekMath 7B achieved 51.7% on MATH benchmark (github.com/deepseek-ai)

114 points

2 years ago

315.

MathSharp, a vector and matrix library written in C# using hardware intrinsics (github.com/john-h-k)

98 points

7 years ago

316.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

9 points

6 months ago

317.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

5 points

6 months ago

318.

Show HN: The Little Chronicles of Mathematics, Data and the Mind of Machines (github.com/little-book-of)

2 points

8 months ago

319.

How to Model a Problem (with Math) (petemichaud.github.com)

2 points

13 years ago

320.

Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com/gustavo-grieco)

2 points

9 months ago

321.

Interactive math: a curated list of tools and articles (github.com/ubavic)

2 points

2 years ago

322.

Chicago undergraduate mathematics bibliography (2018) (github.com/ystael)

2 points

2 years ago

323.

Rendering LaTeX Inline as an SVG with MathJax and React Hooks (github.com/jpribyl)

2 points

6 years ago

324.

Interactive Math Tools (github.com/ubavic)

1 point

5 years ago

325.

Show HN: Basic Math Library for Dotnet (github.com/korpozim)

1 point

6 years ago

326.

Show HN: Cryptography-to-Math (github.com/gabrielg)

1 point

11 years ago

327.

Show HN: Computer-Aided Software Design

2 points

7 years ago

328.

Show HN: The Participatory Interface Theory

1 point

6 months ago

329.

Multiplicative Infinitesimals (github.com/Ericson2314)

83 points

a year ago

330.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago