Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Instant Calculus: frozen, function-agnostic, arbitrary-precision GPLv3 (github.com/Purrplexia)

1 point

6 months ago

92.

Code for a Programmer's Introduction to Mathematics (github.com/pim-book)

2 points

8 years ago

93.

Show HN: A P2P Contribution-Based Protocol for Civic Trust (github.com/contribution-protocol)

3 points

10 months ago

94.

Woxi: Wolfram Mathematica Reimplementation in Rust (github.com/ad-si)

350 points

3 months ago

95.

Robotics 501: Mathematics for Robotics (github.com/michiganrobotics)

278 points

4 years ago

96.

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

231 points

6 months ago

97.

Penrose: Create diagrams by typing mathematical notation in plain text (github.com/penrose)

231 points

7 years ago

98.

Mathics 7.0 – Open-source alternative to Mathematica (github.com/Mathics3)

223 points

a year ago

99.

A cheat-sheet for mathematical notation in code form (github.com/Jam3)

199 points

5 years ago

100.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

101.

Penrose: Create diagrams by typing mathematical notation in plain text (github.com/penrose)

184 points

6 years ago

102.

Systemd mounted efivarfs read-write, allowing motherboard bricking via 'rm' (github.com/systemd)

180 points

10 years ago

103.

Lenia – Mathematical Life Forms (github.com/Chakazul)

154 points

6 years ago

104.

Curv: A language for making art using mathematics (github.com/doug-moen)

152 points

7 years ago

105.

Show HN: MathB.in – Mathematics pastebin written in Common Lisp (github.com/susam)

134 points

4 years ago

106.

Show HN: I designed my own 3D printer motherboard (github.com/KaiPereira)

127 points

6 months ago

107.

Mathpad: A mathematical keypad for students and professionals (github.com/Summa-Cogni)

126 points

a year ago

108.

Show HN: Advanced Mathematics Library for Node.js and JavaScript (github.com/sjkaliski)

123 points

13 years ago

109.

Coreboot port for 486 motherboard (UM8881/6) (github.com/pc2005cz)

98 points

2 years ago

110.

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

89 points

5 years ago

111.

Today a programmer was born. And you are my mother.

83 points

15 years ago

112.

AlgoMIDI – A Mathematical 'Music Studio' (github.com/myanvoos)

77 points

a year ago

113.

Domain-Specific Languages of Mathematics (github.com/DSLsofMath)

75 points

3 years ago

114.

Understanding Mathematical Notation as Code (github.com/Jam3)

72 points

11 years ago

115.

Douglas Lenat's Automated Mathematician Source Code (github.com/white-flame)

70 points

2 months ago

116.

OpenNMT: Open-Source Neural Machine Translation with Torch Mathematical Toolkit (github.com/OpenNMT)

59 points

6 years ago

117.

FPGAs for numerical mathematics using CLaSH (github.com/Gladdy)

45 points

11 years ago

118.

Lenia – Mathematical Life Forms (github.com/Chakazul)

36 points

5 years ago

119.

A cheat-sheet for mathematical notation with translations to JavaScript (github.com/Jam3)

29 points

8 years ago

120.

A math-aware search engine, enable the ability to search mathematics online (github.com/approach0)

27 points

10 years ago