Search: github.com/mrThe | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Mathfmt: Document mathematical Go code beautifully

github.com/mmcloughlin

6 years ago

1 points

272.

Sym: A Mathematica package for generating symbolic models from data

github.com/paulknysh

7 years ago

1 points

273.

RealWorld: The mother of all demo apps

github.com/gothinkster

9 years ago

1 points

274.

The MotherWiki has been updated interestingly

9 years ago

1 points

275.

A Mathematica package for generating symbolic models from data

github.com/paulknysh

9 years ago

1 points

276.

Operator Overloading for Fun and Profit – logic from mathematical expressions

github.com/burtonsamograd

9 years ago

1 points

277.

UniMath: Univalent Mathematics

github.com/UniMath

10 years ago

1 points

278.

Not your mother's wiki

github.com/moforw

10 years ago

1 points

279.

Polyglot repository of soltutions about Mathematical problems at ProjectEuler

github.com/DestructHub

10 years ago

1 points

280.

Show HN: Atopile – Design circuit boards with code

2 years ago

595 points

281.

Show HN: Teable – Open-Source No-Code Database Fusion of Postgres and Airtable

github.com/teableio

2 years ago

279 points

282.

Show HN: Chebyshev approximation calculator

2 years ago

278 points

283.

Show HN: Visualizing the math that powers 3D character animation

diegomacario.github.io

4 years ago

238 points

284.

I won't be posting any more preimages against neuralhash for now

5 years ago

196 points

285.

Show HN: Talk to any ArXiv paper just by changing the URL

github.com/evanhu1

3 years ago

194 points

286.

Show HN: I made a tool to communicate data using the PC speaker

github.com/ggerganov

5 years ago

189 points

287.

Train CIFAR10 to 94% in under 10 seconds on a single A100

github.com/tysam-code

3 years ago

151 points

288.

Show HN: Trane, an automated system for learning complex skills

github.com/trane-project

4 years ago

119 points

289.

Show HN: Agent framework that generates its own topology and evolves at runtime

github.com/adenhq

4 months ago

107 points

290.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

5 days ago

106 points

291.

Show HN: Fine-grained stylistic control of LLMs using model arithmetic

github.com/eth-sri

3 years ago

85 points

292.

Show HN: Mathpad – Physical keypad for typing math symbols

crowdsupply.com

a year ago

78 points

293.

Show HN: Fast Random Library for C++17

github.com/DmitriBogdanov

a year ago

52 points

294.

Yon – a topos-oriented language with a content-addressed lattice heap

19 days ago

48 points

295.

Show HN: I built a P2P network where AI agents publish formally verified science

3 months ago

FranciscoAngulo

47 points

296.

Show HN: GlyphLang – An AI-first programming language

5 months ago

44 points

297.

Show HN: Turn your name into a tree in an infinite procedural shanshui landscape

landscape.bairui.dev

13 days ago

41 points

298.

ATLAS: Autoformalized Textbook Library At Scale

github.com/facebookresearch

a month ago

32 points

299.

Show HN: NLP Flashcards for Most of the Internet

5 years ago

29 points

300.

Show HN: SymDerive – A functional, stateless symbolic math library

5 months ago

26 points